Jon Barwise

· 20 obras en el catálogo

Obras

Language, proof, and logic

Vicious circles

Logical reasoning with diagrams

Turing's World 3.0 for the Macintosh

Handbook of mathematical logic

SSignificato e teorie del linguaggio

Significato e teorie del linguaggio

HHandbook of mathematical logic

Handbook of mathematical logic

Language proof and logic

The Syntax and semantics of infinitary languages

Logical Reasoning with Diagrams and Sentences

IInformation Flow

Information Flow

AAdmissible Sets and Structures

Admissible Sets and Structures

Situation Theory and Applications

MModel-theoretic logics

Model-theoretic logics

FFourth year report to the System Development Foundation, Sit

Fourth year report to the System Development Foundation, Situated language research program

FFifth year report to the System Development Foundation, Situ

Fifth year report to the System Development Foundation, Situated language research program

SSituationen und Einstellungen

Situationen und Einstellungen

AAnalytical Reasoning

Analytical Reasoning

LLiar

Liar

SSpravochnai︠a︡ kniga po matematicheskoĭ logike

Spravochnai︠a︡ kniga po matematicheskoĭ logike