A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Alonzo CHURCH |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Introduction to mathematical logic / Alonzo CHURCH (Cop. 1996)
Titre : Introduction to mathematical logic Type de document : texte imprimé Auteurs : Alonzo CHURCH, Auteur Editeur : Princeton (N.J.) : Princeton University Press Année de publication : Cop. 1996 Importance : IX-378 p. ISBN/ISSN/EAN : 978-0-691-02906-1 Langues : Anglais Mots-clés : logique mathématique Note de contenu : index Introduction to mathematical logic [texte imprimé] / Alonzo CHURCH, Auteur . - Princeton (N.J.) : Princeton University Press, Cop. 1996 . - IX-378 p.
ISBN : 978-0-691-02906-1
Langues : Anglais
Mots-clés : logique mathématique Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19835 CHU/02/8077 Livre Recherche Salle Disponible Introduction to mathematical logic. Volume I / Alonzo CHURCH (1956)
Titre : Introduction to mathematical logic. Volume I Type de document : texte imprimé Auteurs : Alonzo CHURCH, Auteur Editeur : Princeton (N.J.) : Princeton University Press Année de publication : 1956 Collection : Princeton Mathematical Series num. 17 Langues : Anglais 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 (N.J.) : Princeton University Press, 1956. - (Princeton Mathematical Series; 17) .
Langues : Anglais
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. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i680 CHU/02/i680 Livre Recherche Salle Exclu du prêt 4184 CHU/02/P-107 Livre Recherche Salle Disponible 5464 CHU/02/X-856 Livre Recherche Salle Disponible The calculi of lambda-conversion / Alonzo CHURCH (1941)
Titre : The calculi of lambda-conversion Type de document : texte imprimé Auteurs : Alonzo CHURCH, Auteur Editeur : Princeton (N.J.) : Princeton University Press Année de publication : 1941 Collection : Annals of mathematics studies num. 6 Importance : II-82 p. ISBN/ISSN/EAN : 978-0-691-08394-0 Langues : Anglais Catégories : 03B40 Mots-clés : lambda-conversion lambda-calcul Note de contenu : bibliogr. The calculi of lambda-conversion [texte imprimé] / Alonzo CHURCH, Auteur . - Princeton (N.J.) : Princeton University Press, 1941 . - II-82 p.. - (Annals of mathematics studies; 6) .
ISBN : 978-0-691-08394-0
Langues : Anglais
Catégories : 03B40 Mots-clés : lambda-conversion lambda-calcul Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5479 CHU/02/P 6 Livre Recherche Salle Disponible 19832 CHU/02/ST 6 Livre Recherche Salle Disponible