Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 304 p.
ISBN 978-0-12-058536-6
Computer science and applied mathematics
Localisation : Ouvrage RdC (ANDR)
calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation
03-XX ; 03B15 ; 03B35 ; 68A40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 378 p.
Princeton mathematical series , 0017
Localisation : Ouvrage RdC (CHUR)
calcul des propositions # calcul fonctionnel du premier ordre # calcul fonctionnel du second ordre # logique mathématique
03-01 ; 03B05 ; 03B10 ; 03B15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 443 p.
ISBN 978-0-387-98655-5
Universitext
Localisation : Ouvrage RdC (POIZ)
bifurcation # dimension de modèles # embranchement # fondement # logique mathématique # rang # saturation # stabilité # théorie de classification # théorie des modèles # théorie transcendentale
03-01 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiv; 491 p.
ISBN 978-0-486-49785-3
Dover books on mathematics
Localisation : Ouvrage RdC (HODE)
logique mathématique # logique symbolique
03-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxiv; 489 p.
ISBN 978-1-4822-3772-6
Textbooks in mathematics
Localisation : Ouvrage RdC (MEND)
logique mathématique # philosophie # théorie des ensembles de von Neumann-Bernays-Gödel # extension élémentaire # analyse non-standard # théorie de la quantification # théorème de complétude de Goedel # théorie formelle des nombres # arithmétique de premier ordre # calculabilité effective # algorithme
03-01 ; 03B05 ; 03B10 ; 03Cxx ; 03Dxx ; 03Exx ; 03Hxx
... Lire [+]
