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
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
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00038927 | [available] |