1. <A> Framework for Priority Arguments
المؤلف: / Manuel Lerman
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
2. A framework for priority arguments
المؤلف: Lerman, Manuel, 3491-
المکتبة: (طهران)
موضوع: ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
3. Degrees of Unsolvability :
المؤلف: Manuel Lerman
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA9
.
63
M368
1983
4. Degrees of unsolvability : local and global theory
المؤلف: Lerman, Manuel, 3491-
المکتبة: (طهران)
موضوع: ، Unsolvability )Mathematical logic(
رده :
QA
9
.
63
.
L47
1983
5. Logic year 1979-80, the University of Connecticut, U.S.A
المؤلف: Edited by M. Lerman, J. H. Schmerl, and R. I. Soare
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
859
6. Logic year 1979-80, the University of Connecticut, USA
المؤلف: edited by M. Lerman, J.H. Schmerl, and R.I. Soare
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
859
7. Logic year 1979-80, the University of Connecticut, USA
المؤلف: / edited by M. Lerman, J.H. Schmerl, R.I. Soare
المکتبة: (طهران)
موضوع: Logic, Symbolic and mathematical -- Congresses
رده :
QA
9
.
A1
L65
1981
8. Logic year 1979-80 : the University of Connecticut, USA
المؤلف: edited by M. Lerman, J. H. Schmerl, and R. I. Soare
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
859
