عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.500
QA
3
.
L28
no
.
500
کتابخانه
محل استقرار
63561
بهار۹۸
English
)20(
ISILC Proof Theory Symposion: dedicated to Kurt Schutte 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
500
Text in English or German
Includes bibliographical references
Bibliography ، Schutte, K.)Kurt(
Congresses ، Proof theory
QA
3
.
L28
no
.
500
AU
edited by J. Diller and G. H. Muller
AU (truK).K ,ettuhcS
AU sutsuJ ,relliD
AU (znieH treG).H .G ,relluM 1923-
CO International Summer Institute and Logic Colloquium, 4791. University of Kiel,
SE
02
