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: 
Computer file
cre
Language material
Mixed materials
Text
txt
Creation role: 
author
contributor
creator
editor
redactor
writer of accompanying material
Related names: 
Allwein, Gerard (1956- ))
Barker-Plummer, Dave
Center for the Study of Language and Information (Stanford, Calif.)
Cooper, Robin
Etchemendy, John (1952- ))
Keisler, H. Jerome (1936-)
Kunen, Kenneth
Moss, Lawrence Stuart (1959-)
Perry, John (1943-)
Seligman, Jerry (1964- ))
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
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
language of first-order logic including the Macintosh program Tarski's world 3.0, The
language of first-order logic including the Macintosh TM program "Tarski's world", 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, The : an essay on truth and circularity
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.
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 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