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.

Description
Item Description:	"The Colloquium was recognized as a meeting of the Association for Symbolic Logic ... [and] was a NATO Advanced Study Institute with a Symposium on Recursive Functions sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philo.
Physical Description:	320 p.

Similar Items