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 | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 12-07-2007 |
| Første udgivelsesår | 2007 |
| Illustrationer | Worked examples or Exercises; 4 Line drawings, unspecified |
| Originalsprog | United Kingdom |
| Sideantal | 206 |
| Indbinding | Hardback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 206 pages, Worked examples or Exercises; 4 Line drawings, unspecified |
| Mål | 235 x 158 x 18 |
| ISBN-13 / EAN-13 | 9780521882194 |