Alonzo Church (1903-1995)

Pays :États-Unis
Langue :anglais
Sexe :masculin
Naissance :Washington, D.C., 14-06-1903
Mort :Hudson, Ohio, 11-08-1995
Note :
Mathématicien. - Professeur : Princeton university, N. J. (1929-1967). - Spécialiste de logique mathématique. - Fondateur en 1936 du "Journal of symbolic logic"
ISNI :ISNI 0000 0001 1003 8502

Ses activités

Auteur du texte4 documents

  • Alternatives to Zermelo's assumption... by Alonzo Church...

    Description : Note : Reprinted from the "Transactions of the American Mathematical Society", XXIX, 1
    Édition : (S. l.,) , 1927. In-4°, paginé 178-208

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb31946416t]
  • Introduction to mathematical logic

    Description matérielle : 1 vol. (IX-378 p.)
    Description : Note : Notes bibliogr.
    Édition : Princeton : Princeton university press , cop. 1996

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb375632194]
  • Introduction to mathematical logic

    Rev. and enlarged ed.. - 6th printing, 1970
    Description matérielle : vol (IX-378, p.)
    Description : Note : Notes bibliogr. Index
    Édition : Princeton (N.J.) : Princeton university press , 1956

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb39264632f]
  • Introduction to mathematical logic, by Alonzo Church

    Description : Note : Princeton mathematical series
    Édition : Princeton, N.J., Princeton University press , 1956- . In-8°. -IIIa-IVa-

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

Contributeur1 document

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

Biographie Wikipedia

  • Alonzo Church (14 juin 1903 Washington - 11 août 1995 Hudson) fut un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.

Pages équivalentes