Church, Alonzo (1903-1995) Amélioration Assistance
060369604
Notice de type Personne

Forme retenue

Church, Alonzo (1903-1995)

Information

Langue d'expression : anglais
Pays : ÉTATS-UNIS
Date de naissance : 1406 1903
Date de mort : 1108 1995
Sexe : masculin

Source

Internet, http://www-groups.dcs.st-and.ac.uk/history/Mathematicians 27-01-2005

Information trouvée :Alonzo Church Born: 14 June 1903 in Washington, D.C., USA Died: 11 Aug 1995 in Hudson, Ohio, USA

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

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

070 Auteur ( 9 )
990 Sujet ( 2 )



Auteur :

Rôles ?



017720206 : Introduction to mathematical logic / by Alonzo Church. Notes by C. A. Truesdell / Princeton : Princeton university press , 1944,1965

020959931 : Introduction to mathematical logic Volume I, [Texte imprimé] / by Alonzo Church / Princeton (N.J.) : Princeton University Press , 1956

153535148 : Introduction to mathematical logic Volume I, [Texte imprimé] / by Alonzo Church / Princeton, N.J. : Princeton University Press , 1956

122597591 : Введение в математическую логику [Texte imprimé] : 1 / А. Чёрч ; перевод с английского В. С. Черняевского ; под редакцией В. А. Успенского / Москва : Издательство иностранной литературы , 1960

012097233 : The calculi of lambda-conversion [Texte imprimé] / by Alonzo Church / New York : Kraus Reprint , 1965

028771044 : Introduction to mathematical logic [Texte imprimé] / Alonzo Church / Princeton (N.J.) : Princeton university press , 1996

123932947 : Church's Thesis after 70 years [Texte imprimé] / Adam Olszewski, Jan Woleński, Robert Janusz (Eds.) / Frankfurt : Ontos , 2006

016495616 : The calculi of lambda-conversion [Texte imprimé] / by Alonzo Church / Princeton : Princeton university press , cop. 1941

08328642X : A bibliography of symbolic logic [Texte imprimé] : [additions and corrections] / Alonzo Church



Sujet :

Rôles ?



090616669 : Unvollständigkeit und Unentscheidbarkeit [Texte imprimé] : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / von Wolfgang Stegmüller,... / Wien : Springer-Verlag , 1959

123932947 : Church's Thesis after 70 years [Texte imprimé] / Adam Olszewski, Jan Woleński, Robert Janusz (Eds.) / Frankfurt : Ontos , 2006


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