George S. Boolos

George S. Boolos's books

Computability and Logic

4.12 avg rating — 164 ratings

Logic, Logic, and Logic

4.14 avg rating — 21 ratings

The Logic of Provability

really liked it 4.00 avg rating — 15 ratings

Meaning and Method: Essays in Honor of Hilary Putnam

really liked it 4.00 avg rating — 4 ratings

The Unprovability of Consistency: An Essay in Modal Logic

really liked it 4.00 avg rating — 2 ratings

Computability and Logic. Third Edition.

3.50 avg rating — 2 ratings

Computability and Logic 5th (fifth) edition

0.00 avg rating — 0 ratings

Logic of Provability.

0.00 avg rating — 0 ratings