Computability and Logic
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Cambridge University Press

9780511804076
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Craig Interpolation Theorem

2012 ◽  
pp. 260-269
Author(s):  
George S. Boolos ◽  
John P. Burgess ◽  
Richard C. Jeffrey
Keyword(s):  
Interpolation Theorem ◽  
Craig Interpolation

Turing Computability

2012 ◽  
pp. 23-34
Author(s):  
George S. Boolos ◽  
John P. Burgess ◽  
Richard C. Jeffrey
Keyword(s):  
Turing Computability

The Undecidability of First-Order Logic

2012 ◽  
pp. 126-136
Author(s):  
George S. Boolos ◽  
John P. Burgess ◽  
Richard C. Jeffrey
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
First Order

Equivalent Definitions of Computability

2012 ◽  
pp. 88-98
Author(s):  
George S. Boolos ◽  
John P. Burgess ◽  
Richard C. Jeffrey

Preface to the Fifth Edition

2012 ◽  
pp. xi-xiv ◽  
Author(s):  
George S. Boolos ◽  
John P. Burgess ◽  
Richard C. Jeffrey

A Précis of First-Order Logic: Semantics

2012 ◽  
pp. 114-125
Author(s):  
George S. Boolos ◽  
John P. Burgess ◽  
Richard C. Jeffrey
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
First Order

Proofs and Completeness

2012 ◽  
pp. 166-186
Author(s):  
George S. Boolos ◽  
John P. Burgess ◽  
Richard C. Jeffrey

The Unprovability of Consistency

2012 ◽  
pp. 232-240
Author(s):  
George S. Boolos ◽  
John P. Burgess ◽  
Richard C. Jeffrey

Second-Order Logic

2012 ◽  
pp. 279-285
Author(s):  
George S. Boolos ◽  
John P. Burgess ◽  
Richard C. Jeffrey
Keyword(s):  
Second Order ◽  
Order Logic ◽  
Second Order Logic

Nonstandard Models

2012 ◽  
pp. 302-318
Author(s):  
George S. Boolos ◽  
John P. Burgess ◽  
Richard C. Jeffrey
Keyword(s):  
Nonstandard Models
Load More ...
Sign in / Sign up

Export Citation Format

Share Document