Titre : | Introduction to mathematical logic. Volume I | Type de document : | texte imprimé | Auteurs : | Alonzo CHURCH, Auteur | Editeur : | Princeton : Princeton University Press | Année de publication : | 1956 | Collection : | Princeton Mathematical Series num. 17 | Langues : | Anglais (eng) | Mots-clés : | logique mathématique | Résumé : | One of the pioneers of mathematical logic in the twentieth century was Alonzo Church. He introduced such concepts as the lambda calculus, now an essential tool of computer science, and was the founder of the Journal of Symbolic Logic. In Introduction to Mathematical Logic, Church presents a masterful overview of the subject--one which should be read by every researcher and student of logic. |
Introduction to mathematical logic. Volume I [texte imprimé] / Alonzo CHURCH, Auteur . - Princeton University Press, 1956. - ( Princeton Mathematical Series; 17) . Langues : Anglais ( eng) Mots-clés : | logique mathématique | Résumé : | One of the pioneers of mathematical logic in the twentieth century was Alonzo Church. He introduced such concepts as the lambda calculus, now an essential tool of computer science, and was the founder of the Journal of Symbolic Logic. In Introduction to Mathematical Logic, Church presents a masterful overview of the subject--one which should be read by every researcher and student of logic. |
|