Barwise, Jon
Barwise, Jon, 1942-2000
Barwise, Jon, 1942-
Barwise, Jon, -2000
Jon Barwise American logician
VIAF ID: 34471625 ( Personal )
Permalink: http://viaf.org/viaf/34471625
Preferred Forms
- 200 _ | ‡a Barwise ‡b Jon ‡f 1942-2000
-
-
-
- 100 1 _ ‡a Barwise, Jon
-
- 100 1 _ ‡a Barwise, Jon
-
- 100 1 _ ‡a Barwise, Jon
-
-
- 100 1 _ ‡a Barwise, Jon ‡d 1942-2000
- 100 1 _ ‡a Barwise, Jon, ‡d -2000
-
-
-
- 100 1 _ ‡a Barwise, Jon, ‡d 1942-2000
- 100 0 _ ‡a Jon Barwise ‡c American logician
4xx's: Alternate Name Forms (41)
Works
Title | Sources |
---|---|
Admissible sets and structures : an approach to definability theory | |
Fourth year report to the System Development Foundation, Situated language research program | |
Handbook of mathematical logic | |
Hyperproof | |
Informacyjny model reprezentacji Barwise'a-Seligmana | |
Information flow : the logic of distributed systems | |
Interpolation, preservation, and pebble games | |
Jōkyō to taido | |
The Kleene symposium: proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. | |
Language, proof and logic | |
liar. | |
The liar : an essay on truth and circularity | |
Logic Colloquium 2000 : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Paris, France, July 23-31, 2000 | |
Logical reasoning with diagrams | |
Mathematical proofs of computer system correctness | |
Model-theoretic logics | |
n79109887 | |
Non-well-founded sets | |
Noun phrases, generalized quantifiers and anaphora | |
Significato e teorie del linguaggio, c1991: | |
The situation in logic | |
Situationen und Einstellungen : Grundlagen der Situationssemantik | |
Situations and attitudes | |
Sprache, Beweis und Logik | |
Spravočnaâ kniga po matematičeskoj logike. | |
Studies in model theory | |
The syntax and semantics of infinitary languages | |
Tarski's world | |
Teoriâ dokazatel'stv i konstruktivnaâ matematika | |
Teoriâ množestv | |
Teoriâ modelej | |
Teoriâ rekursii | |
Turing's World 3.0 for the Macintosh : an introduction to computability theory | |
Turing's World : 3.0 Windows version : Reissue | |
Two replies | |
Usotsuki | |
Vicious circles : on the mathematics of non-wellfounded phenomena | |
Справочная книга по математической логике : в четырех частях | |
うそつき : 真理と循環をめぐる論考 | |
状況と態度 |