Propositional and Predicate Calculus: A Model of Argument
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer London Ltd
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9781852339210
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
Topics include:- the representation of mathematical statements by formulas in a formal language;- the interpretation of formulas as true or false in a mathematical structure;- logical consequence of one formula from others;- the soundness and completeness theorems connecting logical consequence and formal proof;
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer London Ltd |
| Forfatter | Derek Goldrei |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 08-09-2005 |
| Første udgivelsesår | 2005 |
| Illustrationer | VIII, 315 p. |
| Originalsprog | United Kingdom |
| Sideantal | 315 |
| Indbinding | Paperback / softback |
| Forlag | Springer London Ltd |
| Sideoplysninger | 315 pages, VIII, 315 p. |
| Mål | 191 x 246 x 19 |
| ISBN-13 / EAN-13 | 9781852339210 |