Bemærk: Kan ikke leveres før jul.
Forventes på lager: 12-07-2007
Undergraduate textbook covering the key material for a typical first course in logic, including a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. The author ensures that the number of new concepts at each stage is manageable, whilst providing lively mathematical applications throughout.
| Forlag | Cambridge University Press |
| Forfatter | Richard W. (University of Birmingham) Kaye |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 12-07-2007 |
| Første udgivelsesår | 2007 |
| Illustrationer | Worked examples or Exercises; 4 Line drawings, unspecified |
| Originalsprog | United Kingdom |
| Sideantal | 216 |
| Indbinding | Paperback / softback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 216 pages, Worked examples or Exercises; 4 Line drawings, unspecified |
| Mål | 156 x 229 x 12 |
| ISBN-13 / EAN-13 | 9780521708777 |