Bemærk: Kan ikke leveres før jul.
Forventes på lager: 16-09-2012
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory.
| Forlag | Springer-Verlag New York Inc. |
| Forfattere | Igor Lavrov, Larisa Maksimova |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | Softcover reprint of the original 1st ed. 2003 |
| Udgivelsesdato | 16-09-2012 |
| Første udgivelsesår | 2012 |
| Serie | University Series in Mathematics |
| Illustrationer | XII, 282 p. |
| Fagredaktør | G. Corsi |
| Originalsprog | United States |
| Sideantal | 282 |
| Indbinding | Paperback / softback |
| Forlag | Springer-Verlag New York Inc. |
| Sideoplysninger | 282 pages, XII, 282 p. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9781461349570 |