Is this you? Create Your Porfile
Avatar

John P. Burgess

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where John P. Burgess is active.

Explore More

Publication

Featured researches published by John P. Burgess.

Archive | 2007

Computability and Logic: The Unprovability of Consistency

George Boolos; John P. Burgess; Richard C. Jeffrey

Archive | 2007

Computability and Logic: BASIC METALOGIC

George Boolos; John P. Burgess; Richard C. Jeffrey

Archive | 2007

Computability and Logic: COMPUTABILITY THEORY

George Boolos; John P. Burgess; Richard C. Jeffrey

Archive | 2007

Computability and Logic: Uncomputability

George Boolos; John P. Burgess; Richard C. Jeffrey

Archive | 2007

Computability and Logic: Annotated Bibliography

George Boolos; John P. Burgess; Richard C. Jeffrey

Archive | 2007

Computability and Logic: The Existence of Models

George Boolos; John P. Burgess; Richard C. Jeffrey

Archive | 2007

Computability and Logic: Recursive Functions

George Boolos; John P. Burgess; Richard C. Jeffrey

Archive | 2007

Computability and Logic: Ramsey's Theorem

George Boolos; John P. Burgess; Richard C. Jeffrey

Archive | 2007

Computability and Logic: Monadic and Dyadic Logic

George Boolos; John P. Burgess; Richard C. Jeffrey

Archive | 2007

Computability and Logic: Proofs and Completeness

George Boolos; John P. Burgess; Richard C. Jeffrey

Explore More

Collaboration

Dive into the John P. Burgess's collaboration.

Top Co-Authors
Avatar

George Boolos

Massachusetts Institute of Technology

View shared research outputs
Top Co-Authors
Avatar

Richard C. Jeffrey

Princeton University

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge