Logique mathématique

Guardat en:
Dades bibliogràfiques
Autor principal: Kleene, Stephen Cole, 1909-1994
Altres autors: Largeault, Jean, 1930-1995 (Traductor)
Format: Livre papier
Idioma:Français
Publicat: Paris : Jacques Gabay C 1987.
Matèries:
Nota: Traduit de : "Mathematical Logic"
Autre tirage : 2004
Reproduction photomécanique de l'édition de : Paris, A. Colin, 1971 (Série "Epistémologie")
Autres localisations: Voir dans le Sudoc
LEADER 01351nam a22003617a 4500
001 31209
008 880401t19871987xxg ||| |||| 00| 0 fre d
009 PPN005676959
020 |a 2876470055 (br.) :  |c 60 EUR 
024 |a 9782876470057 
041 1 |a fre  |h eng 
080 |a 510.6 
082 |a 511.3 
084 |a F.4 
084 |a 03-02. 2020 
084 |a 03Axx. 2020 
100 1 |a Kleene, Stephen Cole,  |d 1909-1994. 
245 1 0 |a Logique mathématique   |c Stephen C. Kleene ; [traduction de Jean Largeault]. 
260 |a Paris :  |b Jacques Gabay. 
260 |c C 1987. 
300 |a 1 volume (412 pages) ;  |c 24 cm. 
500 |a Traduit de : "Mathematical Logic" 
500 |a Autre tirage : 2004 
500 |a Reproduction photomécanique de l'édition de : Paris, A. Colin, 1971 (Série "Epistémologie") 
504 |a Bibliographie p. 379-[391]. Notes bibliographiques. Index 
650 |a Calcul des propositions 
650 |a Mathématiques  |x Philosophie 
650 |a Logique mathématique non classique 
650 |a Calcul des prédicats 
650 |a Logique symbolique et mathématique 
700 1 |a Largeault, Jean,  |d 1930-1995.  |4 trl 
765 0 |t Mathematical Logic  |d cop. 1967 
997 |0 31209  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/BU Sciences, Technologies, STAPS/  |z Orléans, BU Sciences, Technologies, STAPS, B4175