|
Language, Proof and Logic
by
3.49 avg rating — 171 ratings
—
published
1999
—
14 editions
|
|
|
Situations and Attitudes
by
3.75 avg rating — 20 ratings
—
published
1983
—
6 editions
|
|
|
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena
by
4.09 avg rating — 11 ratings
—
published
1996
—
3 editions
|
|
|
The Language of First-Order Logic: Including the IBM-compatible Windows version of Tarski's World 4.0 (Center for the Study of Language and Information Publication Lecture Notes)
by
3.91 avg rating — 11 ratings
—
published
1992
—
5 editions
|
|
|
The Situation in Logic (Volume 17) (Lecture Notes)
by
4.22 avg rating — 9 ratings
—
published
1988
—
2 editions
|
|
|
The Liar: An Essay on Truth and Circularity
by
4.57 avg rating — 7 ratings
—
published
1987
—
5 editions
|
|
|
Tarski's World: Version 4.0 for MS Windows (Volume 45) (Lecture Notes)
by
3.20 avg rating — 10 ratings
—
published
1993
—
4 editions
|
|
|
Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 44)
by
3.83 avg rating — 6 ratings
—
published
1997
—
4 editions
|
|
|
Handbook of Mathematical Logic (Volume 90) (Studies in Logic and the Foundations of Mathematics, Volume 90)
by
4.50 avg rating — 4 ratings
—
published
1982
—
3 editions
|
|
|
Admissible Sets and Structures: An Approach to Definability Theory
by
really liked it 4.00 avg rating — 2 ratings
—
published
1975
—
3 editions
|
|
|
Model-Theoretic Logics (Perspectives in Logic, Series Number 8)
by
|
|
|
Situation Theory & its Applications, Vol 2 (Center for the Study of Language & Information Publication Lecture Notes)
by
3.50 avg rating — 2 ratings
—
published
1991
—
3 editions
|
|
|
Hyperproof: For Macintosh (Volume 42) (Lecture Notes)
by
it was amazing 5.00 avg rating — 1 rating
—
published
1994
—
2 editions
|
|
|
Turing's World 3.0: An Introduction to Computability Theory (Volume 35) (Lecture Notes)
by
it was amazing 5.00 avg rating — 1 rating
—
4 editions
|
|
|
[Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)] [Author: Barwise, Jon] [October, 1997]
by
0.00 avg rating — 0 ratings
|
|
|
The Situation in Logic (Lecture Notes Book 17)
by
0.00 avg rating — 0 ratings
|
|
|
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics Book 72)
by
0.00 avg rating — 0 ratings
|
|
|
Turing's World 3.0 for the macintosh: an introduction to computability Theory
by
0.00 avg rating — 0 ratings
|
|
|
The language of first-order Logic
by
0.00 avg rating — 0 ratings
|
|
|
Mathematical proofs of computer system correctness
by
0.00 avg rating — 0 ratings
|
|
|
The situation in logic-III: Situations, sets and the Axiom of Foundation
by
0.00 avg rating — 0 ratings
|
|
|
The situation in logic-II: Conditionals and conditional information
by
0.00 avg rating — 0 ratings
|
|
|
Noun phrases, generalized quantifiers anaphora
by
0.00 avg rating — 0 ratings
|
|
|
The Syntax and Semantics of Infinitary Languages
by
|
|
|
The Kleene Symposium
by
0.00 avg rating — 0 ratings
|
|
|
Admissible Sets and Structures
by
|
|
|
Turing's World 3.0 for Windows (Center for the Study of Language and Information Publication Lecture Notes)
by
0.00 avg rating — 0 ratings
—
published
1995
|
|
|
Situationen und Einstellungen: Grundlagen der Situationssemantik (Grundlagen der Kommunikation und Kognition / Foundations of Communication and Cognition)
by
0.00 avg rating — 0 ratings
—
published
1987
—
3 editions
|
|
|
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
by
0.00 avg rating — 0 ratings
—
published
1968
—
2 editions
|
|
|
Ronrigaku No Kiso To Enshū
by
0.00 avg rating — 0 ratings
—
published
2006
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.