Jon Barwise

Language, Proof and Logic

Jon Barwise

$6.89 - $105.83

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

Jon Barwise

$7.19

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (Center for the Study of Language and Information Publication Lecture Notes)

Jon Barwise

Out of Stock

Information Flow: The Logic of Distributed Systems

Jon Barwise

$67.99 - $84.82

Turing's World 3.0: An Introduction to Computability Theory (Center for the Study of Language and Information - Lecture Notes)

Jon Barwise

$28.79 - $30.29

Situations and Attitudes

Jon Barwise

$16.59

Tarski's World: Version 4.0 for MS Windows (Center for the Study of Language and Information - Lecture Notes)

Jon Barwise

$20.69 - $24.59

The Liar: An Essay on Truth and Circularity

Jon Barwise

$112.53

Admissible Sets and Structures: An Approach to Definability Theory (Perspectives in Mathematical Logic)

Jon Barwise

Out of Stock

Hyperproof: For Macintosh (Center for the Study of Language and Information - Lecture Notes)

Jon Barwise

Out of Stock

The Situation in Logic (Center for the Study of Language and Information Publication Lecture Notes)

Jon Barwise

$11.89

Tarski's World 3.0 (Center for the Study of Language and Information Publication Lecture Notes)

Jon Barwise

Out of Stock

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

Jon Barwise

Out of Stock

Admissible Sets and Structures

Jon Barwise

$154.76

Situationen Und Einstellungen: Grundlagen Der Situationssemantik

Jon Barwise

Out of Stock

Provability, Computability And Reflection, Volume 17 (Studies In Logic And The Foundations Of Mathematics)

Jon Barwise

Out of Stock

Situation Theory and Its Applications, Vol 2

Jon Barwise

Out of Stock