Jon Barwise

Jon Barwise's books

Language, Proof and Logic

3.47 avg rating — 167 ratings

Situations and Attitudes

3.65 avg rating — 20 ratings

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (CSLI Lecture Notes)

4.17 avg rating — 12 ratings

The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Lecture Notes)

3.91 avg rating — 11 ratings

The Situation in Logic (Volume 17) (Lecture Notes)

4.22 avg rating — 9 ratings

The Liar: An Essay on Truth and Circularity

4.57 avg rating — 7 ratings

Tarski's World: Version 4.0 for MS Windows (Volume 45) (Lecture Notes)

3.20 avg rating — 10 ratings

Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 44)

3.83 avg rating — 6 ratings

Handbook of Mathematical Logic (Volume 90) (Studies in Logic and the Foundations of Mathematics, Volume 90)

4.40 avg rating — 5 ratings

Admissible Sets and Structures: An Approach to Definability Theory

really liked it 4.00 avg rating — 2 ratings