Alonzo Church (1903-1995)

Country :États-Unis
Language :anglais
Gender :masculin
Birth :Washington, D.C., 14-06-1903
Death :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

Occupations

Auteur du texte4 documents

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

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

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

    Rev. and enlarged ed.. - 6th printing, 1970
    Material description : vol (IX-378, p.)
    Note : Note : Notes bibliogr. Index
    Edition : Princeton (N.J.) : Princeton university press , 1956

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

    Material description : 1 vol. (IX-378 p.)
    Note : Note : Notes bibliogr.
    Edition : Princeton : Princeton university press , cop. 1996

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

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

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

Contributeur1 document

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

Wikipedia Biography

  • 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.

Closely matched pages