Introduction to mathematical logic /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
London :
Chapman & Hall,
1997.
|
| Edición: | 4th ed. |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00778nam a22002175a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb003491 | ||
| 008 | 970725s1997####enk######b####001#0#eng## | ||
| 005 | 20130312142707.0 | ||
| 245 | 1 | 0 | |a Introduction to mathematical logic / |c Elliott Mendelson. |
| 250 | |a 4th ed. | ||
| 260 | |a London : |b Chapman & Hall, |c 1997. | ||
| 300 | |a x, 440 p. ; |c 24 cm. | ||
| 504 | |a Incluye referencias bibliográficas (p. [412]-423) e índices. | ||
| 505 | 0 | |a 1. The propositional calculus -- 2. Quantification theory -- 3. Formal number theory -- 4. Axiomatic set theory -- 5. Computability. | |
| 510 | 4 | |a MR, |c 99b:03002 | |
| 020 | |a 0412808307 | ||
| 100 | 1 | |a Mendelson, Elliott. | |
| 084 | |a 03-01 |2 msc2000 | ||
| 010 | |a 97069050 | ||
| 040 | |a DLC |c DLC | ||
| 859 | |h 03 |i M537-4 |p A-7696 |b BIB. MATEMATICA | ||