FA Sign in

Discover references

Proof

Books

20 results

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 View book

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 View book

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 View book

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 View book

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 View book

Cover of A Completeness Theorem in Modal Logic (paper)

English Beginner

A Completeness Theorem in Modal Logic (paper)

Kripke Saul

0 View book

Cover of Mathematics and Logic

English Beginner

Mathematics and Logic

Mark Kac,Stanislaw M. Ulam

1992 View book

Cover of First-Order Logic and Automated Theorem Proving

English Beginner

First-Order Logic and Automated Theorem Proving

Melvin Fitting

1996 View book

Cover of Logic and Structure

English Beginner

Logic and Structure

Dirk van Dalen

1994 View book

Cover of Introduction to Proof in Abstract Mathematics

English Beginner

Introduction to Proof in Abstract Mathematics

Andrew Wohlgemuth

2014 View book

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 View book

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 View book

Cover of Pramana

English Unordered

Pramana

D P Verma; B Kumar; H C Verma

1985 August View book

English Unordered

Journal of Symbolic Logic

Japaridze, Giorgi

2010 June View book

Cover of Notre Dame Journal of Formal Logic

English Unordered

Notre Dame Journal of Formal Logic

Xu, Wenyan; Liu, Sanyang

2013 View book

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 View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Kam-Chau Wong

1996 View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Xizhong Zheng; Robert Rettinger

2004 September View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Stéphane Le Roux; Martin Ziegler

2008 September View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Volker Bosserhoff

2007 September View book