Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000108862762 | 1 hits
Person
ISNI: 
0000 0001 0886 2762
Name: 
Barvajs, Dż
Barwise, J.
Barwise, John
Barwise, Jon
Barwise, K. Jon
Barwise, Kenneth
Barwise, Kenneth Jon
バーワイズ, ジョン
Dates: 
1942-2000
Creation class: 
cre
Language material
Text
txt
Creation role: 
author
contributor
creator
editor
redactor
writer of accompanying material
Related names: 
Allwein, Gerard
Barker-Plummer, Dave
Center for the Study of Language and Information (U.S.)
Etchemendy, John
Keisler, H. Jerome
Kunen, Kenneth
Moss, Lawrence Stuart
Perry, John (1943-)
Perry, John (linguiste)
Perry, John Richard (1943-)
Seligman, Jerry
Titles: 
Admissible sets and structures : an approach to definability theory /Jon Barwise.
essay on truth and circularity. -, an
Extended Kamp notation - a graphical notation for situation theory. -
Extended logics and their model theory, c1984:
Fifth year report to the System Development Foundation, Situated language research program
Fourth year report to the System Development Foundation, Situated language research program
Handbook of mathematical logic ; with the cooperation of H. J. Keisler [et al.], 1977
Hyperproof
Information flow : the logic of distributed systems
Interpolation, preservation, and pebble games
Jōkyō to taido
Kleene symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. [in honor of his 70th birthday], The
Kleene symposium, The : Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
language of first-order logic including the Macintosh program Tarski's world 3.0, The
language of first-order logic, The : including the IBM-compatible Windows version of Tarski's World 4.0
language of first-order logic, The : including the Macintosh program Tarski's world
language of first-order logic, The : including the Macintosh version of Tarski's world 4.0
language of first-order logic, The : including the MacintoshTM program Tarski's world
language of first-order logic, The : including the Mackintosh version of Tarski's world 4.0
Language, proof and logic
liar: an essay in truth and circularity, the
Liar, an essay on truth and circularity, The
Logical reasoning with diagrams
Mathematical proofs of computer system correctness
Model-theoretic logics
Non-well-founded sets
Noun phrases, generalized quantifiers and anaphora
Ronrigaku no kiso to enshū
Shifting situations and shaken attitudes : an interview with Barwise and Perry.
Significato e teorie del linguaggio, c1991:
Significato e teorie del linguaggio : saggi di Barwise... [et al.]
Sitiationen und Einstellungen : Grundlagen d. Situationssemantik
situation in logic-IV, The : on the model theory of common knowledge
Situation theory and its applications : [proceedings of the second Conference on situation theory and its applications at Loch Rannoch, Scotland, September 1991]
Situationen und Einstellungen Grundlagen d. Situationssemantik
Situationen und Einstellungen : Grundlagen der Situationssemantik
Situations and attitudes
Sprache, Beweis und Logik - Software
Spravochnai︠a︡ kniga po matematicheskoĭ logike : v chetyrekh chasti︠a︡kh
Spravočnaâ kniga po matematičeskoj logike.
Spravočnaja kniga po matematičeskoj logike. Č. 1
Spravočnaja kniga po matematičeskoj logike : v četyrech častjach ; perevod s anglijskogo S.S. Gončarova ... [et al.]
Studies in logic and the foundations of mathematics
Studies in model theory
syntax and semantics of infinitary languages, The
syntax and semantics on infinitary languages, The
Tarski's world 3.0 : including the Macintosh tm program
Tarski's World 3.0 : including the Macintoshtm program
Tarski's World : version 4.0 for Macintosh
Tarski's world : version 4.0 for MS Windows
Teoriâ dokazatel'stv i konstruktivnaâ matematika
Teoriâ množestv
Teoriâ modelej
Teoriâ rekursii
Teorija rekursii
Turing's World 3.0 for the Macintosh : an introduction to computability theory
Two replies
Usotsuki
Vicious circles on the mathematics of non-wellfounded phenomena
Справочная книга по математической логике : в четырех частях
うそつき : 真理と循環をめぐる論考
状況と態度
論理学の基礎と演習
Notes: 
Sources: 
VIAF BNF DNB LC NDL NKC NTA NUKAT RERO SUDOC WKP
TEL