Jon Barwise (1942-2000)

Pays :États-Unis
Langue :anglais
Sexe :masculin
Naissance :29-06-1942
Mort :05-03-2000
Note :
Mathématicien, logicien et philosophe. - Professeur de philosophie : University of Stanford, Calif. (en 1977). - En poste : University of Wisconsin, Madison (en 1987). - En poste : Indiana university, Bloomington (en 1997)
Autres formes du nom :Kenneth Jon Barwise (1942-2000)
John Barwise (1942-2000)
ISNI :ISNI 0000 0001 0886 2762

Ses activités

Auteur du texte8 documents

  • The liar

    an essay on truth and circularity

    Description matérielle : XII-184 p.
    Édition : New York : Oxford university press , 1987
    Auteur du texte : John Etchemendy

    disponible en Haut de Jardin

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb34998265d]
  • The situation in logic

    Description matérielle : XIV-327 p.
    Édition : Stanford, Calif. : CSLI , 1989

    disponible en Haut de Jardin

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35411781z]
  • Admissible sets and structures

    an approach to definability theory

    Description matérielle : XIII-394 p.
    Description : Note : Bibliogr. p. 380-385. Index
    Édition : Berlin ; Heidelberg ; New York : Springer , 1975

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37371599t]
  • Information flow

    the logic of distributed systems

    Description matérielle : 1 vol. (XV-274 p.)
    Édition : Cambridge : Cambridge university , 1997
    Auteur du texte : Jerry Seligman

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb375152156]
  • The language of first-order logic

    including the Macintosh program Tarski's world 3.0

    Second ed. rev. and expanded
    Description matérielle : IX-297 p.
    Description : Note : Index
    Édition : Stanford (Ca.) : Center for the study of language and information , cop. 1991
    Auteur du texte : John Etchemendy

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37366397k]

Éditeur scientifique4 documents

  • Handbook of mathematical logic

    Description matérielle : XI-1165 p.
    Description : Note : Bibliogr. à la fin de chaque chapitre. Index
    Édition : Amsterdam ; New York ; Oxford : North-Holland , 1977
    Contributeur : Howard Jerome Keisler

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb353940759]
  • The Kleene symposium

    proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. [in honor of his 70th birthday]

    Description matérielle : 1 vol. (XX-425 p.)
    Description : Note : Bibliogr. de S.C. Kleene p. XII-XVI. Notes bibliogr. en fin de chapitres
    Édition : Amsterdam : North-Holland , 1980
    Éditeur scientifique : Howard Jerome Keisler, Kenneth Kunen

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb356448619]
  • Logical reasoning with diagrams

    Description matérielle : 1 vol. (XV-270 p.)
    Description : Note : Notes bibliogr.
    Édition : New York : Oxford university press , 1996
    Éditeur scientifique : Gerard Allwein

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37515037z]
  • Model-theoretic logics

    Description matérielle : XVIII-893 p.
    Description : Note : Bibliogr. p. 793-893
    Édition : Berlin ; New York : Springer , cop. 1985
    Éditeur scientifique : Solomon Feferman

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37357010w]

Autre1 document

  • The syntax and semantics of infinitary languages

    Description matérielle : 1 online resource (iv, 268 p. :)
    Description : Note : Papers of a symposium on infinitary logic held in Los Angeles on Dec. 28-30, 1967
    Édition : Berlin etc. : Springer Verlag , 1968

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb446871898]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Handbook of mathematical logic / ed. by Jon Barwise ; with the cooperation of H. J. Keisler [et al.], 1977
    The Liar, an essay on truth and circularity / Jon Barwise and John Etchemendy, 1987
    Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman, 1997
  • LC Authorities (2014-05-07)

Autres formes du nom

  • Kenneth Jon Barwise (1942-2000)
  • John Barwise (1942-2000)

Biographie Wikipedia

  • Kenneth Jon Barwise (29 juin 1942 – 5 mars 2000) est un mathématicien, philosophe et logicien américain.

Pages équivalentes