Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, part II /

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, part II /

Saved in:

Bibliographic Details
Corporate Authors:	Logic Colloquium Aachem, Germany, Logic Colloquium Aachen, Germany, Association for Symbolic Logic
Other Authors:	Richter, Michael M., 1938-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1984 Berlin ; New York : l984
Series:	Lecture notes in mathematics (Springer-Verlag) ; 1104 Lecture notes in mathematics (Springer-Verlag) 1104
Subjects:	Computable functions > Congresses Computational complexity > Congresses Proof theory > Congresses Ensembles, Théorie des > Congrès Logique algébrique > Congrès Modèles, Théorie des > Congrès Preuve, Théorie de la > Congrès Computable functions Computational complexity Proof theory Conference papers and proceedings
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Stanford University

Holdings details from Stanford University
Call Number:	ISIL:US-CST QA3 .L28 V.1104

Yale University

Holdings details from Yale University
Call Number:	Conf Aachen 1983 2

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA3.L471 no.1104

Cornell University

Holdings details from Cornell University
Call Number:	QA3 .L28 no.1104

Princeton University

Holdings details from Princeton University
Call Number:	QA3 .L28 no.1104