FA Sign in

Discover references

proof

Books

25 results

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

Cover of Introduction to Mathematical Logic

English Beginner

Introduction to Mathematical Logic

Elliott Mendelson

1987 View book

Cover of A mathematical introduction to logic

English Beginner

A mathematical introduction to logic

Herbert Enderton,Herbert B. Enderton

2001 View book

Cover of Formal Logic

English Beginner

Formal Logic

Mark Jago

2007 View book

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

English Beginner

Discrete Mathematics: An Open Introduction, 3rd Edition

Oscar Levin

2021 View book

Cover of Fundamental approach to discrete mathematics

English Beginner

Fundamental approach to discrete mathematics

Acharjya D.P.

2005 View book

Cover of Methods in Mathematical Logic

English Beginner

Methods in Mathematical Logic

Carlos A. Di Prisco

1985 View book

Cover of Mathematical Logic in the 20th Century

English Beginner

Mathematical Logic in the 20th Century

Gerald E. Sacks

2003 View book

Cover of The History of Mathematical Proof in Ancient Traditions

English Beginner

The History of Mathematical Proof in Ancient Traditions

Karine Chemla (Editor)

2012 View book

Cover of Annals of Pure and Applied Logic

English Unordered

Annals of Pure and Applied Logic

Giorgi Japaridze

2003 October View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Fredrik Dahlgren

2004 September View book

English Unordered

Journal of Symbolic Logic

Chong, C. T.

1999 September View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Bakhadyr Khoussainov

2000 October View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Ulrich Huckenbeck

1991 View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Silvio Valentini

1993 View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Armin Hemmerling

1998 View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Armin Hemmerling

1998 View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Vasco Brattka; Ruth Dillhage

2007 September View book

Cover of Annals of Pure and Applied Logic

English Unordered

Annals of Pure and Applied Logic

Vasco Brattka; Ruth Dillhage

2010 December View book

Cover of Annals of Pure and Applied Logic

English Unordered

Annals of Pure and Applied Logic

Andrew E.M. Lewis; George Barmpalias

2007 March View book

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

Cover of Annals of Pure and Applied Logic

English Unordered

Annals of Pure and Applied Logic

Ker-I. Ko

1998 April View book

English Unordered

Annals of Pure and Applied Logic

Martin Ziegler

2012 August View book

Cover of Annals of Pure and Applied Logic

English Unordered

Annals of Pure and Applied Logic

Hoyrup, Mathieu

2013 May View book

English Unordered

Journal of Symbolic Logic

Pitts, Andrew M.

1995 March View book