201. Provability, complexity, grammars
پدیدآورنده : Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Mathematical linguistics.,Modality (Logic),Proof theory.
202. Q.E.D. beauty in mathematical proof /
پدیدآورنده : written and illustrated by Burkard Polster
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Proof theory
رده :
QA9
.
54
.
P65
2004
203. Reductive logic and proof-search : proof theory, semantics, and control
پدیدآورنده : Pym, David J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P965R4
204. Reductive logic and proof-search: proof theory, semantics, and control
پدیدآورنده : Pym, David J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P87
2004
205. Return to reason: a critique of enlightenment evidentialism, and a defense of reason and belief in God
پدیدآورنده : Clark, Kelly James
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : ، Faith and reason,Proof ، God,، Theodicy,، Natural theology,، Knowledge, Theory of )Religion(,، Enlightenment,، Plantinga, Alvin,، Reid, Thomas, 0171-6971,، Calvin, Jean, 9051-4651
رده :
BT
50
.
C42
1990
206. Selected papers in proof theory
پدیدآورنده : Mints, G E
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
M56
1992
207. Selected papers in proof theory
پدیدآورنده : Mints, G. E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
M56
1992
208. Set theory
پدیدآورنده : / John L. Bell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Set theory,Algebra, Boolean,Proof theory
209. Set theory
پدیدآورنده : / John L. Bell
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Set theory,Algebra, Boolean,Proof theory
رده :
QA248
.
B44
2005
210. Set theory
پدیدآورنده : / John L. Bell
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Set theory,Algebra, Boolean,Proof theory
رده :
QA248
.
B44
2005
211. Statistical learning with sparsity :
پدیدآورنده : Trevor Hastie, Stanford University, USA, Rob Tibshirani, Stanford University, USA, Martin Wainwright, University of California, Berkeley, USA
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Least squares,Linear models (Statistics),Mathematical statistics,Proof theory
رده :
QA275
.
H38
2015
212. Structural proof theory
پدیدآورنده : Negri, Sara
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N44
2001
213. Structural proof theory
پدیدآورنده : Negri, Sara, 7691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N44
214. Structural proof theory
پدیدآورنده : Negri, Sara, 7691-
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N4S78
215. Structural proof theory
پدیدآورنده : Negri, Sara, Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
موضوع : ، Proof theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
216. Structural proof theory
پدیدآورنده : Negri, Sara
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N44
2001
217. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
موضوع : ، Proof theory,، Number theory,، Predicate calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
218. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,، Numbers, Theory of,، Predicate calculus
رده :
QA
3
.
L28
no
.
447
219. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
1
.
L4
v
.
447
220. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann, 0491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
3
.
L28
Vol
.
447
