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

Exemplaires