作者 Jon Barwise 的书籍 - BookPine

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

David Barker-Plummer

Model-Theoretic Logics

Model-Theoretic Logics

Jon Barwise

Admissible Sets and Structures

Admissible Sets and Structures

Jon Barwise

Information Flow: The Logic of Distributed Systems

Information Flow: The Logic of Distributed Systems

Jon Barwise

Logical Reasoning with Diagrams

Logical Reasoning with Diagrams

Gerard Allwein

Language, Proof and Logic, 2nd Edition

Language, Proof and Logic, 2nd Edition

Jon Barwise

Situationen Und Einstellungen: Grundlagen Der Situationssemantik

Situationen Und Einstellungen: Grundlagen Der Situationssemantik

Jon Barwise

Language, Proof, and Logic

Language, Proof, and Logic

Jon Barwise

Vicious Circles (Volume 60)

Vicious Circles (Volume 60)

Jon Barwise

Logical Frameworks for Truth and Abstraction

Logical Frameworks for Truth and Abstraction

Andrea Cantini

Tarski's World: Version 4.0 for Macintosh (Volume 25)

Tarski's World: Version 4.0 for Macintosh (Volume 25)

Jon Barwise

The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk

The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk

Jon Barwise

The Language of First-Order Logic, Including Tarski's World

The Language of First-Order Logic, Including Tarski's World

Jon Barwise

The Language of First-Order Logic: Including the Macintosh TM Program, Tarski's World 3.0 (Volume 23)

The Language of First-Order Logic: Including the Macintosh TM Program, Tarski's World 3.0 (Volume 23)

Jon Barwise

The Situation in Logic (Volume 17)

The Situation in Logic (Volume 17)

Jon Barwise

The Liar: An Essay on Truth and Circularity

The Liar: An Essay on Truth and Circularity

Jon Barwise

Situations and attitudes

Situations and attitudes

Jon Barwise

Handbook of Mathematical Logic

Handbook of Mathematical Logic

Jon Barwise