Theory of Formal Systems. (AM-47), Volume 47 (Annals of Mathematics Studies)

by Raymond M. Smullyan Paperback details (United States). ISBN: 978-0-691-08047-5 ISBN-10: 0-691-08047-X Princeton University Press · 1961