Logique mathématique [monographie]
Titre d'origine: Mathematical logic |
| Auteur(s): | Kleene, Stephen Cole (1909-1994)
Largeault, Jean (1931?-1995) (Trad.)
|
| Editeur, date d'édition: | Armand Colin, 1971
|
| Ville(s) d'édition: | Paris (FR)
|
| Notes: | Bibliogr. pp. 377-391 ; index pp. 395-413 ; 24 cm (Traduit de Mathematical logic, paru chez J. Wiley and Sons, New York, en 1967) ; 412 p.
|
| Thèmes: | logique, decidabilite, calculabilite, machine turing, calcul propositionnel, calcul predicat, fondement mathematiques, theoreme de godel, theoreme de herbrand, theoreme de gentzen, theoreme de church
|
| Localisation: | Ouvrage localisé fonds enseignement - 1ère salle |
Exemplaire(s)
| Cote | Retour |
|---|
| 05 KLE 71 | Disponible |
