EN ورود

کشف منابع

proof

کتاب‌ها

25 نتیجه

Cover of Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

English Advanced

Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

Stefania Centrone,Klaus Mainzer

2023 مشاهدهٔ کتاب

Cover of Introduction to Mathematical Logic

English Beginner

Introduction to Mathematical Logic

Elliott Mendelson

1987 مشاهدهٔ کتاب

Cover of A mathematical introduction to logic

English Beginner

A mathematical introduction to logic

Herbert Enderton,Herbert B. Enderton

2001 مشاهدهٔ کتاب

Cover of Formal Logic

English Beginner

Formal Logic

Mark Jago

2007 مشاهدهٔ کتاب

Cover of Discrete Mathematics: An Open Introduction, 3rd Edition

English Beginner

Discrete Mathematics: An Open Introduction, 3rd Edition

Oscar Levin

2021 مشاهدهٔ کتاب

Cover of Fundamental approach to discrete mathematics

English Beginner

Fundamental approach to discrete mathematics

Acharjya D.P.

2005 مشاهدهٔ کتاب

Cover of Methods in Mathematical Logic

English Beginner

Methods in Mathematical Logic

Carlos A. Di Prisco

1985 مشاهدهٔ کتاب

Cover of Mathematical Logic in the 20th Century

English Beginner

Mathematical Logic in the 20th Century

Gerald E. Sacks

2003 مشاهدهٔ کتاب

Cover of The History of Mathematical Proof in Ancient Traditions

English Beginner

The History of Mathematical Proof in Ancient Traditions

Karine Chemla (Editor)

2012 مشاهدهٔ کتاب

Cover of Annals of Pure and Applied Logic

English Unordered

Annals of Pure and Applied Logic

Giorgi Japaridze

2003 October مشاهدهٔ کتاب

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Fredrik Dahlgren

2004 September مشاهدهٔ کتاب

English Unordered

Journal of Symbolic Logic

Chong, C. T.

1999 September مشاهدهٔ کتاب

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Bakhadyr Khoussainov

2000 October مشاهدهٔ کتاب

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Ulrich Huckenbeck

1991 مشاهدهٔ کتاب

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Silvio Valentini

1993 مشاهدهٔ کتاب

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Armin Hemmerling

1998 مشاهدهٔ کتاب

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Armin Hemmerling

1998 مشاهدهٔ کتاب

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Vasco Brattka; Ruth Dillhage

2007 September مشاهدهٔ کتاب

Cover of Annals of Pure and Applied Logic

English Unordered

Annals of Pure and Applied Logic

Vasco Brattka; Ruth Dillhage

2010 December مشاهدهٔ کتاب

Cover of Annals of Pure and Applied Logic

English Unordered

Annals of Pure and Applied Logic

Andrew E.M. Lewis; George Barmpalias

2007 March مشاهدهٔ کتاب

Cover of Annals of Pure and Applied Logic

English Unordered

Annals of Pure and Applied Logic

Rod Downey; Zoltán Füredi; Carl G. Jockusch Jr.; Lee A. Rubel

1998 April مشاهدهٔ کتاب

Cover of Annals of Pure and Applied Logic

English Unordered

Annals of Pure and Applied Logic

Ker-I. Ko

1998 April مشاهدهٔ کتاب

English Unordered

Annals of Pure and Applied Logic

Martin Ziegler

2012 August مشاهدهٔ کتاب

Cover of Annals of Pure and Applied Logic

English Unordered

Annals of Pure and Applied Logic

Hoyrup, Mathieu

2013 May مشاهدهٔ کتاب

English Unordered

Journal of Symbolic Logic

Pitts, Andrew M.

1995 March مشاهدهٔ کتاب