The two main themes of this book, logic and complexity, are both essential for understanding the ...

This is a monograph on the metamathematics of first order arithmetic. The primary readership is a...

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published...

The two main themes of this book, logic and complexity, are both essential for understanding the ...