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

Publisher City : Boca Raton ; London ; New York

Publisher country : États-Unis ; Grande-Bretagne

Language : English

Edition nb : 6th ed.

EAN13 : 9781482237726

Collation : 24 cm#rel.#bibliogr.#index

Series : Textbooks in mathematics

Location : Ouvrage RdC (MEND)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies