Logique Mathématique : 2Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles / Préface de Jean-Lois Krivine
; Daniel Lascar [ Livre]
Langue : français.Publication : René Cori : Dunod, Paris, 2003Description : 322 p. ; 24 cm.ISBN : 2100054538.Collection: Sciences SUPType de document | Site actuel | Cote | Statut | Date de retour prévue |
---|---|---|---|---|
Livre | Bibliothèque Universitaire Mohamed Sekkat 1er etage | 511.3 COR (Parcourir l'étagère) | Disponible | |
Livre | Bibliothèque Universitaire Mohamed Sekkat 1er etage | 621.383 MAC (Parcourir l'étagère) | Disponible | |
Livre | Bibliothèque Universitaire Mohamed Sekkat 1er etage | 511.3 COR (Parcourir l'étagère) | Disponible |
Survol Bibliothèque Universitaire Mohamed Sekkat Étagères , Localisation : 1er etage Fermer le survol d'étagère
621.382 TIS Analyse et traitement des signaux | 621.382 VEN Communications analogiques | 621.382 VIL Les courants faibles | 621.383 MAC Logique Mathématique | 621.383 MAC Logique Mathématique | 621.384 1 AIS La Radio et la T.V., l'électricité, l'électronique | 621.384 1 CAD Montages à modules HF pour la maison |
Bibliogr. 323-325 index. P 335-347.
Il n'y a pas de commentaire pour ce document.