Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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
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.)
Dept. of Mathematics, Stanford University
Etchemendy, John (1952-)
Keisler, H. Jerome
Kunen, Kenneth
Liu, Albert
Moss, Lawrence Stuart
Perry, John (1943-)
Seligman, Jerry
Titles: 
Admissible sets and structures : an approach to definability theory
Extended Kamp notation - a graphical notation for situation theory. -
Fourth year report to the System Development Foundation, Situated language research program
Handbook of Mathematical Logic
Hyperproof
Infinitary logic and admissible sets
Information flow the logic of distributed systems
Interpolation, preservation, and pebble games
Jōkyō to taido
Kleene symposium, The : Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Language, proof and logic
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
Non-well-founded sets
Noun phrases, generalized quantifiers and anaphora
Significato e teorie del linguaggio, c1991:
situation in logic, The
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
Situations and attitudes
Sprache, Beweis und Logik
Spravočnaâ kniga po matematičeskoj logike.
Studies in model theory
Syntax and semantics of infinitary languages, The
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
Two replies
Usotsuki
Vicious circles on the mathematics of non-wellfounded phenomena
Справочная книга по математической логике : в четырех частях
うそつき : 真理と循環をめぐる論考
状況と態度
Notes: 
Thesis (Ph. D.)--Dept. of Mathematics, Stanford University
Sources: 
VIAF DNB LC NDL NKC NTA NUKAT RERO SUDOC WKP
TEL