EN ورود

کشف منابع

Proof

کتاب‌ها

20 نتیجه

Cover of Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)

English Beginner

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)

Peter M. Schuster (editor),Monika Seisenberger (editor),Andreas Weiermann (editor)

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

Cover of Fermat’s Enigma: The Epic Quest to Solve the World’s Greatest Mathematical Problem

English Intermediate

Fermat’s Enigma: The Epic Quest to Solve the World’s Greatest Mathematical Problem

Simon Singh

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

Cover of Fermat's enigma: the epic quest to solve the world's greatest mathematical problem

English Intermediate

Fermat's enigma: the epic quest to solve the world's greatest mathematical problem

Singh,Simon

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

Cover of Fermat's last theorem: unlocking the secret of an ancient mathematical problem

English Unordered

Fermat's last theorem: unlocking the secret of an ancient mathematical problem

Amir D. Aczel

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

Cover of Proof and Disproof in Formal Logic: An Introduction for Programmers

English Beginner

Proof and Disproof in Formal Logic: An Introduction for Programmers

Richard Bornat

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

Cover of A Completeness Theorem in Modal Logic (paper)

English Beginner

A Completeness Theorem in Modal Logic (paper)

Kripke Saul

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

Cover of Mathematics and Logic

English Beginner

Mathematics and Logic

Mark Kac,Stanislaw M. Ulam

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

Cover of First-Order Logic and Automated Theorem Proving

English Beginner

First-Order Logic and Automated Theorem Proving

Melvin Fitting

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

Cover of Logic and Structure

English Beginner

Logic and Structure

Dirk van Dalen

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

Cover of Introduction to Proof in Abstract Mathematics

English Beginner

Introduction to Proof in Abstract Mathematics

Andrew Wohlgemuth

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

Cover of Roads to Infinity: The Mathematics of Truth and Proof

English Beginner

Roads to Infinity: The Mathematics of Truth and Proof

John C. Stillwell

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

Cover of Galileo's O: Volume I/II Galileo's Sidereus nuncius: A comparison of the proof copy (New York) with other paradigmatic copies (Vol. I). Needham: Galileo makes a book: the first edition of Sidereus nuncius, Venice 1610 (Vol. II)

English Beginner

Galileo's O: Volume I/II Galileo's Sidereus nuncius: A comparison of the proof copy (New York) with other paradigmatic copies (Vol. I). Needham: Galileo makes a book: the first edition of Sidereus nuncius, Venice 1610 (Vol. II)

Irene Brückle (editor);Oliver Hahn (editor);Paul Needham (editor)

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

Cover of Pramana

English Unordered

Pramana

D P Verma; B Kumar; H C Verma

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

English Unordered

Journal of Symbolic Logic

Japaridze, Giorgi

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

Cover of Notre Dame Journal of Formal Logic

English Unordered

Notre Dame Journal of Formal Logic

Xu, Wenyan; Liu, Sanyang

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

Cover of Studies in Logic and the Foundations of Mathematics 128

English Unordered

Studies in Logic and the Foundations of Mathematics 128

E. Börger

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

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Kam-Chau Wong

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

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Xizhong Zheng; Robert Rettinger

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

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Stéphane Le Roux; Martin Ziegler

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

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Volker Bosserhoff

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