A partir de cette page vous pouvez :
Retourner à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | 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 externesFormalized recursive functionals and formalized realizability (1969) / Stephen Cole KLEENE
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 (eng) 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 . - American Mathematical Society, 1969 . - 106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 89) .
ISSN : 821-81289-0
Langues : Anglais (eng)
Catégories : 02-23
02-70Mots-clés : fonction récursive Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4459 854/89 Livre Recherche Salle Disponible Introduction to metamathematics (1952) / Stephen Cole KLEENE
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 (eng) Mots-clés : logique mathématique Introduction to metamathematics [monographie] / Stephen Cole KLEENE, Auteur . - D. Van Nostrand Company, 1952. - (University series in higher mathematics) .
disparu
Langues : Anglais (eng)
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 (1962) / Stephen Cole KLEENE
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 (eng) Mots-clés : logique mathématique Introduction to metamathematics [monographie] / Stephen Cole KLEENE, Auteur . - P. Noordhoff LTD, 1962. - (Bibliotheca mathematica; 001) .
ISBN : 978-0-7204-2103-3
Langues : Anglais (eng)
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 (DL 1971) / Stephen Cole KLEENE
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 (fre) Langues originales : Anglais (eng) 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 . - , DL 1971 . - 412 p.. - (. Epistémologie) .
Langues : Français (fre) Langues originales : Anglais (eng)
Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3566 KLE/02/4120 Livre Recherche Salle Exclu du prêt 20835 KLE/02/8749 Livre Recherche Salle Disponible Mathematical logic (1967) / Stephen Cole KLEENE
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 (eng) 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 (eng)
Mots-clés : logique mathématique Note de contenu : index, bibliogr. Réservation
Réserver ce document
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 (1965) / Stephen Cole KLEENE
Permalink