A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Stephen Cole KLEENE |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Formalized recursive functionals and formalized realizability / Stephen Cole KLEENE (1969)
Titre : Formalized recursive functionals and formalized realizability Type de document : texte imprimé Auteurs : Stephen Cole KLEENE, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1969 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 89 Importance : 106 p. ISBN/ISSN/EAN : 821-81289-0 Langues : Anglais Catégories : 02-23
02-70Mots-clés : fonction récursive Note de contenu : références Formalized recursive functionals and formalized realizability [texte imprimé] / Stephen Cole KLEENE, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1969 . - 106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 89) .
ISSN : 821-81289-0
Langues : Anglais
Catégories : 02-23
02-70Mots-clés : fonction récursive Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4459 854/89 Livre Recherche Salle Disponible Introduction to metamathematics / Stephen Cole KLEENE (1952)
Titre : Introduction to metamathematics Type de document : monographie Auteurs : Stephen Cole KLEENE, Auteur Editeur : Princeton : D. Van Nostrand Company Année de publication : 1952 Collection : University series in higher mathematics Note générale : disparu Langues : Anglais Mots-clés : logique mathématique Introduction to metamathematics [monographie] / Stephen Cole KLEENE, Auteur . - Princeton : D. Van Nostrand Company, 1952. - (University series in higher mathematics) .
disparu
Langues : Anglais
Mots-clés : logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1945 KLE/02/831-a Livre Recherche Salle Exclu du prêt Introduction to metamathematics / Stephen Cole KLEENE (1962)
Titre : Introduction to metamathematics Type de document : monographie Auteurs : Stephen Cole KLEENE, Auteur Editeur : Groningen [Pays-Bas] : P. Noordhoff LTD Année de publication : 1962 Collection : Bibliotheca mathematica num. 001 ISBN/ISSN/EAN : 978-0-7204-2103-3 Langues : Anglais Mots-clés : logique mathématique Introduction to metamathematics [monographie] / Stephen Cole KLEENE, Auteur . - Groningen (Pays-Bas) : P. Noordhoff LTD, 1962. - (Bibliotheca mathematica; 001) .
ISBN : 978-0-7204-2103-3
Langues : Anglais
Mots-clés : logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 681 KLE/02/831-b Livre Recherche Salle Exclu du prêt Logique mathématique / Stephen Cole KLEENE (DL 1971)
Titre : Logique mathématique Type de document : texte imprimé Auteurs : Stephen Cole KLEENE, Auteur ; Jean LARGEAULT, Traducteur Collection : Sous-collection : Epistémologie Année de publication : DL 1971 Importance : 412 p. Langues : Français Langues originales : Anglais Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index, bibliogr. Logique mathématique [texte imprimé] / Stephen Cole KLEENE, Auteur ; Jean LARGEAULT, Traducteur . - [S.l. : s.n.], DL 1971 . - 412 p.. - (. Epistémologie) .
Langues : Français Langues originales : Anglais
Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3566 KLE/02/4120 Livre Recherche Salle Perdu
Exclu du prêt20835 KLE/02/8749 Livre Recherche Salle Disponible Mathematical logic / Stephen Cole KLEENE (1967)
Titre : Mathematical logic Type de document : texte imprimé Auteurs : Stephen Cole KLEENE, Auteur Editeur : New York [U.S.A] : John Wiley & Sons Année de publication : 1967 Importance : XIII-398 p. Langues : Anglais Mots-clés : logique mathématique Note de contenu : index, bibliogr. Mathematical logic [texte imprimé] / Stephen Cole KLEENE, Auteur . - New York (U.S.A) : John Wiley & Sons, 1967 . - XIII-398 p.
Langues : Anglais
Mots-clés : logique mathématique Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5510 KLE/02/3704 Livre Recherche Salle Disponible i683 KLE/02/i683 Livre Recherche Salle Disponible The foundations of intuitionistic mathematics / Stephen Cole KLEENE (1965)
Permalink