En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
1

Introduction to mathematical logic

Bookmarks Report an error
Ouvrage

Mendelson, Elliott (Principal)

CRC Press

2015

xxiv; 489 p.

978-1-4822-3772-6

00038927

03-01 ; 03B05 ; 03B10 ; 03Cxx ; 03Dxx ; 03Exx ; 03Hxx

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

Number of copies : 1
No. Call n° Bar code Commentary
1 00038927

[available]
Bookmarks Report an error