Formal systems and recursive functions : proceedings of the eighth logic Colloquium Oxford, July 1963 /

• Συγγραφή απο Οργανισμό/Αρχή: Logic Colloquium Oxford, Oxfordshire
• Άλλοι συγγραφείς: Crossley, John N. (επιμελητής.), Dummett, Michael, 1925-2011 (επιμελητής.)
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam : North-Holland, 1965.
• Σειρά: Studies in logic and the foundations of mathematics
• Θέματα: Λογική, Συμβολική και μαθηματική