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

• Corporate Author: Logic Colloquium Oxford, Oxfordshire
• Other Authors: Crossley, John N. (επιμελητής.), Dummett, Michael, 1925-2011 (επιμελητής.)
• Format: Conference Proceeding Book
• Language: English
• Published: Amsterdam : North-Holland, 1965.
• Series: Studies in logic and the foundations of mathematics
• Subjects: Λογική, Συμβολική και μαθηματική