1. Logic Colloquium'87 : proceedings of the colloqium held in Granada, Spin July 20-25, 1987
پدیدآورنده : edited by H.D. Ebbinghaus...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1987
2. Numbers
پدیدآورنده : H.-D. Ebbinghaus ... ]et al.[ ; with an introduction by K. Lamotke ; translated by H.L.S. Orde ; edited by J.H. Ewing
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Number theory
رده :
QA
241
.
Z3413
1991
3. #Numbers
پدیدآورنده : #H.-D. Ebbinghaus ... ]et al.[ , with an introduction by K. Lamotke , translated by H.L.S. Orde , edited by J.H. Ewing
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Number theory
رده :
#
QA
،#.
N74
4. Recursion theory week : proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1141
5. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Recursion theory
رده :
QA
1
.
L4
v
.
1141
6. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
9
.
6
.
R4
1984
7. Recursion theory week: proceedings of a conference held in Oberwolfach, west Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller and G.E. Sacks
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Recursion theory,، Representations of groups
رده :
QA
3
.
L28
no
.
1141
