-
RecordNumber
72231
-
Author
ISILC proof theory symposion, university of Kiel, 1974
-
Title
ISILC proof theory symposion: dedicated to Kurt Schutte on the occasion of his 65th birthday: proceedings of ...
-
Editor
edited by J. Diller, G. H. Muller
-
Publication
Springer-Verlag
-
Publication Year
c1975
-
Collation
viii, 383p
-
Series
Lecture notes in mathematics; 500
-
Bibliography
Includes bibliographies
-
Subject
Proof theory- CongressesSchütte, Kurt- Bibliography
-
ADDED ENTRIES
Diller, Justus, ed , Series: Lecture notes in mathematics; 500
-
Main Class
511
-
Sub Class
.3
-
Cutter no
I81i
-
Date
1974
-
وارد كنندة اطلاعات
fazel^d2004/01/17 10:46:50
-
Link To Document :
