Proceedings of the 3rd international workshop on nonstandard logics May 28th, 2004 2004, Czech Technical University