FA Sign in

Discover references

Incompleteness

Books

6 results

Cover of Computability and Logic Boolos

English Beginner

Computability and Logic Boolos

View book

Cover of Computability and Logic, 5th Edition

English Beginner

Computability and Logic, 5th Edition

George S. Boolos,John P. Burgess,Richard C. Jeffrey

2007 View book

Cover of On Formally Undecidable Propositions of Principia Mathematica and Related Systems

English Beginner

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel

1992 View book

Cover of An Introduction to Gödel's Theorems

English Beginner

An Introduction to Gödel's Theorems

Peter Smith

2007 View book

Cover of Metamathematics of First-Order Arithmetic

English Beginner

Metamathematics of First-Order Arithmetic

Petr Hajek,Pavel Pudlak

1998 View book

Cover of Incompleteness - The Proof and Paradox of Kurt Godel

English Beginner

Incompleteness - The Proof and Paradox of Kurt Godel

Rebecca Goldstein

2005 View book