Bemærk: Kan ikke leveres før jul.
Forventes på lager: 30-05-2000
Starting from the observation that in everyday arguments statements are transformed linguistically, connecting them in formal ways irrespective of their contents, this text presents such arguments as deductive situations, or "sequents" in the technical terminology. It shows how the transformations between them can be expressed as logical rules.
| Forlag | Taylor & Francis Ltd |
| Forfatter | Walter Felscher |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 30-05-2000 |
| Første udgivelsesår | 2000 |
| Serie | Lecturers on Mathematical Logic |
| Originalsprog | United Kingdom |
| Sideantal | 330 |
| Indbinding | Hardback |
| Forlag | Taylor & Francis Ltd |
| Sideoplysninger | 330 pages |
| Mål | 229 x 152 |
| ISBN-13 / EAN-13 | 9789056992675 |