Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001082911/catalog> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- catalog contributor b1232197.
- catalog contributor b1232198.
- catalog contributor b1232199.
- catalog contributor b1232200.
- catalog contributor b1232201.
- catalog contributor b1232202.
- catalog created "1975.".
- catalog date "1975".
- catalog date "1975.".
- catalog dateCopyrighted "1975.".
- catalog description "Includes bibliographies.".
- catalog description "Includes list of the publications of K. Schütte.".
- catalog extent "viii, 383 p. ;".
- catalog hasFormat "ISILC Proof Theory Symposion.".
- catalog identifier "038707533X".
- catalog isFormatOf "ISILC Proof Theory Symposion.".
- catalog isPartOf "Lecture notes in mathematics (Springer-Verlag) ; 500.".
- catalog isPartOf "Lecture notes in mathematics ; 500".
- catalog issued "1975".
- catalog issued "1975.".
- catalog language "eng".
- catalog language "engger".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "ISILC Proof Theory Symposion.".
- catalog subject "Proof theory Congresses.".
- catalog subject "QA3 .L28 no. 500 QA9.54".
- catalog subject "Schütte, K. (Kurt) Bibliography.".
- catalog tableOfContents "Includes list of the publications of K. Schütte.".
- catalog title "ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Müller.".
- catalog type "Kiel (1974) swd".
- catalog type "text".