Kleene symposium - Barwise Jon Ed.; Keisler H Jeroma Ed.; Kunen Kenneth Ed. (Amsterdam North Holland, 1980)
Keywords: Mathematics