Diagonalization and Self-Reference Smullyan, Raymond M. 9780198534501 Oxford Logic Guides Innbundet 01.09.1994 Engelsk Produseres på bestilling
Recursion Theory for Metamathematics Smullyan, Raymond M. 9780195082326 Oxford Logic Guides Innbundet 15.07.1993 Engelsk Produseres på bestilling
Gödel''s Incompleteness Theorems Smullyan, Raymond M. 9780195046724 Oxford Logic Guides Innbundet 22.10.1992 Engelsk I salg
Theory of Formal Systems Smullyan, Raymond M. 9780691080475 Annals of Mathematics Studies Heftet 21.04.1961 Engelsk I salg
