Formal systems and recursive functions : proceedings /

Formal systems and recursive functions : proceedings /

Saved in:
Bibliographic Details
Corporate Authors: Logic Colloquium Oxford, England, Association for Symbolic Logic, North Atlantic Treaty Organization, International Union of the History and Philosophy of Science, Symposium on Recursive Functions
Other Authors: Crossley, John N., Dummett, Michael A. E.
Format: Conference Proceeding Book
Language:English
Published: Amsterdam : North-Holland Pub. Co., 1965.
Series:Studies in logic and the foundations of mathematics
Subjects:
Logic, Symbolic and mathematical.
Recursive functions.

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AQ24B0 C08535
Copy 1 Available  Place a Hold

Similar Items