Barwise, Jon (1942-2000) Amélioration Assistance
028478789
Notice de type Personne

Forme retenue

Barwise, Jon (1942-2000)

Information

Langue d'expression : anglais
Pays : ÉTATS-UNIS
Date de naissance : 2906 1942
Date de mort : 0503 2000
Sexe : masculin

Source

BN-Opale, 20090506


Handbook of mathematical logic / ed. by Jon Barwise ; with the cooperation of H. J. Keisler [et al.], 1977


LCNA, 20090506


The Liar, an essay on truth and circularity / Jon Barwise and John Etchemendy, 1987

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Autres identifiants

En cours : frBN003062427
En cours : FRBNF120306411

Notices bibliographiques liées :3rôle(s)

070 Auteur ( 23 )
340 Editeur scientifique ( 5 )
420 Personne honorée ( 1 )



Auteur :

Rôles ?



061457183 : Handbook of mathematical logic [Texte imprimé] / ed. by Jon Barwise... / 8ème tirage / Amsterdam : North-Holland Publishing Company , 1977

00551911X : Situations and attitudes [Texte imprimé] / Jon Barwise and John Perry / Cambridge (Mass.) : The MIT press , 1983

005925444 : Situations and attitudes / Jon Barwise and John Perry / [4th printing] / Cambridge Mass. [etc.] : The MIT press , 1986

007455984 : The liar [Texte imprimé] : an essay on truth and circularity / Jon Barwise and John Etchemendy / New York (N.J.) [etc.] : Oxford University Press , 1987

142794252 : Situationen und Einstellungen [Texte imprimé] : grundlagen de situationssemantik / Jon Barwise, John Perry / Berlin : Walter de Gruyter , 1987

021430527 : The Liar [Texte imprimé] : an essay on truth and circularity / Jon Barwise and John Etchemendy,... / New York : Oxford University Press , 1987

045636044 : Tarski's world [Texte imprimé] : version 4.0 for the Macintosh / Jon Barwise and John Etchemendy / Stanford, CA : Center for the Study of Language and Information , 1993

004412397 : Turing's world 3.0 : an introduction to computability theory / Jon Barwise and John Etchemendy / Stanford (Calif.) : Center for the study language and information , 1993

004419820 : Vicious circles : on the mathematics of non-wellfounded phenomena / Jon Barwise and Lawrence Moss / Stanford (Calif.) : CSLI , 1996

026120771 : Information flow [Texte imprimé] : the logic of distributed systems / Jon Barwise,... Jerry Seligman,... / Cambridge : Cambridge University Press , 1997

115136142 : Situations and attitudes [Texte imprimé] / Jon Barwise and John Perry / Stanford (Calif.) : CSLI publications , 1999

016596749 : The language of first-order logic : including the Mackintosh version of Tarski's world 4.0 / Jon Barwise & John Etchemendy / 3rd ed., rev. & expanded. / Stanford, Calif. : Center for the Study of Language and Information , c1993

073667358 : Language, proof and logic [Texte imprimé] / Jon Barwise and John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer and Albert Liu / Stanford, Calif. : CSLI Publications , c2002

015836444 : Studies in model theory [Texte imprimé] / Jon Barwise... [et al.] ; M. D. Morley, editor / [Buffalo] : Mathematical Association of America , cop. 1973

016892224 : Admissible sets and structures [Texte imprimé] : an approach to definability theory / Jon Barwise / Berlin : Springer-Verlag , cop. 1975

00930696X : The situation in logic [Texte imprimé] / Jon Barwise / Menlo Park (Calif.) [etc.] : Center for the study of language and information , cop. 1989

003306917 : Tarski's world 3.0 : including the Macintosh tm program / Jon Barwise and John Etchemendy / Stanford (Calif.) : Center for the study of language and information , cop. 1991

004334566 : The language of first-order logic [Texte imprimé] : including the IBM-compatible Windows version of Tarski's world 4.0 / Jon Barwise & John Etchemendy / Third ed., revised & expanded / Stanford (Calif.) : Center for the study of language and information , cop. 1992

070442649 : Tarski's world [Texte imprimé] : version 4.0 for MS Windows / Jon Barwise & John Etchemendy / Standford (Calif.) : CSLI , cop. 1993

004341759 : Tarski's world [Texte imprimé] : version 4.0 for MS windows / Jon Barwise & John Etchemendy / Stanford (Calif.) : Center for the study of language and information , cop. 1993

004423194 : Hyperproof / Jon Barwise and John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush, Douglas Felt, Adrian Klein...[et al.] / Stanford (Californie) : Center for the study of language and information , cop. 1994

05929597X : Language, proof, and logic [Texte imprimé] / Jon Barwise and John Etchemendy ; in collab. with Gerard Allwein, Dave Barker-Plummer, and Albert Liu / Stanford, Calif. : CSLI Publ. , cop. 1999

167320610 : Language, proof and logic [Texte imprimé] / Dave Barker-Plummer, Jon Barwise and John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma Pease / 2nd edition / Stanford (Calif.) : CSLI Publications , cop. 2011



Editeur scientifique :

Rôles ?



015226697 : The Syntax and semantics of infinitary languages [Texte imprimé] / edited by Jon Barwise,... / Berlin : Springer , 1968

004869591 : The Kleene symposium [Texte imprimé] : proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen / Amsterdam : North-Holland , 1980

02436763X : Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.] / New York : Oxford University Press , 1996

004860187 : Handbook of mathematical logic [Texte imprimé] / edited by Jon Barwise,... ; with the cooperation of H.J. Keisler, K. Kunen, Y.N. Moschovakis,...[et al...] / Amsterdam : North-Holland , cop. 1977

025520644 : Model-theoretic logics [Texte imprimé] / ed. by J. Barwise and S. Feferman / New York : Springer-Verlag , cop. 1985



Personne honorée :

Rôles ?



113422652 : Logic Colloquium 2000 [Texte imprimé] : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Paris, France, July 23-31, 2000 / edited by René Cori,... Alexander Razborov,... Stevo Todorc̆evic̆,... [et al.] / Urbana (Ill.) : Association for symbolic logic , cop. 2005


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance