Bemærk: Kan ikke leveres før jul.
Forventes på lager: 28-01-2008
This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory.
| Forlag | Cambridge University Press |
| Forfatter | Sally Popkorn |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 28-01-2008 |
| Første udgivelsesår | 2008 |
| Illustrationer | Worked examples or Exercises |
| Originalsprog | United Kingdom |
| Sideantal | 332 |
| Indbinding | Paperback / softback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 332 pages, Worked examples or Exercises |
| Mål | 228 x 153 x 20 |
| ISBN-13 / EAN-13 | 9780521057936 |