Books · Search
First-order logic · Tarski's world
The language of first-order logic
1990
Set theory · Logic, symbolic and mathematical
Admissible Sets and Structures
1975
Situationen und Einstellungen
1987
Electronic data processing, distributed processing
Information Flow
2008
Infinitary languages · Mathematics
The Syntax and semantics of infinitary languages
1968
Knowledge representation (Information theory) · Symbolic and mathematical Logic
Logical reasoning with diagrams
1996
Semantics (Philosophy) · Semantics
Situations and attitudes
1983
Logic · Reasoning
Logical Reasoning with Diagrams and Sentences
2017
Turing machines · Symbolic and mathematical Logic
Turing's World 3.0 for the Macintosh
1993
Definability theory (Mathematical logic) · Admissible sets
Admissible Sets, and Structures
Liar paradox
The liar
Theory of Knowledge · Model theory
The situation in logic-IV
1988
Semantics (Philosophy)
Two replies
Tarski's world 3.0
1991
Model theory
Model-theoretic logics
1985
Linguistics · Bibliography
Fourth year report to the System Development Foundation, Situated language research program
Computational linguistics · Research
Fifth year report to the System Development Foundation, Situated language research program
Noun phrases, generalized quantifiers and anaphora
1986
Analytical Reasoning
2004
Liar
First-order logic
Tarski's World Version 4.0 for MS Windows
Microsoft windows (computer program)
Turing's World 3.0 for Windows
2001
Hume, david, 1711-1776 · Philosophy, modern, 18th century
Situations and Attitudes
Logic · Language and logic
Situation Theory and Applications
1992
