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
Affiner la recherche Interroger des sources externesIntroduction to mathematical logic (Cop. 1996) / Alonzo CHURCH
Titre : Introduction to mathematical logic Type de document : texte imprimé Auteurs : Alonzo CHURCH, Auteur Editeur : Princeton : Princeton University Press Année de publication : Cop. 1996 Importance : IX-378 p. ISBN/ISSN/EAN : 978-0-691-02906-1 Langues : Anglais (eng) Mots-clés : logique mathématique Note de contenu : index Introduction to mathematical logic [texte imprimé] / Alonzo CHURCH, Auteur . - Princeton : Princeton University Press, Cop. 1996 . - IX-378 p.
ISBN : 978-0-691-02906-1
Langues : Anglais (eng)
Mots-clés : logique mathématique Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19835 CHU/02/8077 Livre Recherche Salle Disponible Introduction to mathematical logic. Volume I (1956) / Alonzo CHURCH
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. Réservation
Réserver ce document
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 (1941) / Alonzo CHURCH
Titre : The calculi of lambda-conversion Type de document : texte imprimé Auteurs : Alonzo CHURCH, Auteur Editeur : Princeton : 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 (eng) 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 University Press, 1941 . - II-82 p.. - (Annals of mathematics studies; 6) .
ISBN : 978-0-691-08394-0
Langues : Anglais (eng)
Catégories : 03B40 Mots-clés : lambda-conversion lambda-calcul Note de contenu : bibliogr. Réservation
Réserver ce document
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