Formal systems and recursive functions; proceedings

Meeting
Logic Colloquium (8th : 1963 : Oxford, England)
Language
English.
Imprint
Amsterdam, North-Holland Pub. Co., 1965.
Physical description
320 p. 23 cm.
Series
Studies in logic and the foundations of mathematics.

Browse related items

Start at call number:
Librarian view | Catkey: 2146269