1. ......................
پدیدآورنده: ISILC Proof Theory Symposium, University of Kiel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Proof theory,Bibliography ، Schutte, Kurt
رده :
QA
3
.
L28
no
.
500
2. 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
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Bibliography ، Schutte, K.)Kurt(,Congresses ، Proof theory
رده :
QA
3
.
L28
no
.
500
3. 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
پدیدآورنده: edited by J. Diller and G. H. Muller
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Proof theory,، Schutte, Kurt - Bibliography
رده :
QA
1
.
L4
v
.
500
4. 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
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Proof theory,Bibliography ، Schutte, K. )Kurt(
رده :
QA
9
.
54
.
I8
1974
5. 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
6. ISILC Proof theory symposium; Dedicated 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
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Proof theory - Congresses,Schutte Kurt - Bibliography
رده :
510
L471
No
.
500
