عنوان
پدید آورنده
موضوع
رده
QA 9.54 .I8 1974
QA
9
.
54
.
I8
1974
کتابخانه
محل استقرار
36743
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
Berlin
Springer-Verlag
1975
viii, 383 p. ; 25 cm.
Lecture notes in mathematics; 005
Text in English or German
Includes bibliographical references
edited by J. Diller and G. H. Mیller
Congresses ، Proof theory
Bibliography ، Schutte, K. )Kurt(
510/
.
8
s
511/
.
3
QA
9
.
54
.
I8
1974
AU
AU (truK) .K ,ettuhcS
AU sutsuJ ,relliD
AU (znieH treG) .H .G ,relluM 1923-
TI
SE
ISILC Proof Theory Symposion, University of Kiel, 1974
یاضه ریه دانشکدانابخکت
