عنوان

ISILC Proof Theory Symposium : dealicated to Kurt Schutte 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. Muller

موضوع

Congresses ، Proof theory,Bibliography ، Schutte, Kurt

رده

QA

3
.
L28

Vol
.
500

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

ISILC Proof Theory Symposium : dealicated to Kurt Schutte on the Occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

1974: University of Kiel

Berlin

Springer-Verlag

c1975

viii, 383p

Lecture notes in mathematics; 005

Text in English or German. Bibliography of kurt Schutte : p. ]1[-3

Includes bibliographies

ISBN: 354007533X

edited by J. Diller and G. H. Muller

Congresses ، Proof theory

Bibliography ، Schutte, Kurt

L28

Vol

500

AU Schutte, Kurt

AU Diller, Justus

AU Muller, Gert Heinz, 1923-

CO International Summer Institute and Logic Colloquium 1974: University of Kiel

TI Proof Theory Symposium

International Summer Institute and Logic Colloquium

عنوان ISILC Proof Theory Symposium : dealicated to Kurt Schutte 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. Muller

موضوع Congresses ، Proof theory,Bibliography ، Schutte, Kurt

رده QA 3 .L28 Vol.500