Introduction to mathematical logic
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
Ville d'édition : Boca Raton ; London ; New York
Pays d'édition : États-Unis ; Grande-Bretagne
Langue : Anglais
N° édition : 6th ed.
EAN13 : 9781482237726
Collation : 24 cm#rel.#bibliogr.#index
Collection : Textbooks in mathematics
Localisation : Ouvrage RdC (MEND)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00038927 | [disponible] |