![book Logical Reasoning with Diagrams](/covers/files_170/504000/b148f7caa0ef78502e69f1cb3b2e4cc8-d.jpg)
- Author: Gerard Allwein Jon Barwise
- Language: English
- Year: 1996
![book Handbook of Mathematical Logic](/covers/files_170/449000/f3c60867e4007dd304db051bfc4b8a92-d.jpg)
- Author: Jon Barwise (ed.)
- Language: English
- Year: 1989
![book Hyperproof](/covers/files_170/339000/9C69C1D8DBDAB79F617AD9EDCAAA20DF-d.jpg)
Hyperproof
djvu
- Author: Jon Barwise John Etchemendy
- Language: English
- Year: 1994
![book Language, Proof and Logic](/covers/files_170/313000/9aaa58e277619a485963354be3110a04-d.jpg)
- Author: Jon Barwise John Etchemendy
- Language: English
- Year: 2002
![book Language, Proof, and Logic](/covers/files_170/309000/eaf47183bf153906a9cab1fd742286ea-d.jpg)
- Author: Jon Barwise John Etchemendy
- Language: English
- Year: 1999
![book The Kleene Symposium: Proceedings Madison, 1978](/covers/files_170/288000/390595049e299d676e74dab38dd09325-g.jpg)
- Author: Jon Barwise H. Jerome Keisler Kenneth Kunen
- Language: English
- Year: 1981
![book The situation in logic](/covers/files_170/216000/6464d160363d1407e386b637c8254552-d.jpg)
- Author: Jon Barwise
- Language: English
- Year: 1989
![book The Syntax and Semantics of Infinitary Languages](/covers/files_170/74000/014baaeb4aefbf34ce914f4947cb628d-d.jpg)
- Author: Jon Barwise
- Language: English
- Year: 1968
![book The liar: An essay on truth and circularity](/covers/files_170/71000/74b3f13a9af7ac1b3d21f4cddb7f783c-d.jpg)
- Author: Jon Barwise John Etchemendy
- Language: English
- Year: 1989