Autorenfreundlich Bücher kaufen?!
Beschreibung
Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natürlicher Sprachen betreffen.
Details
| Verlag | Vieweg & Teubner |
| Ersterscheinung | 01. Januar 1992 |
| Maße | 22.9 cm x 16.2 cm |
| Gewicht | 568 Gramm |
| Format | Softcover |
| ISBN-13 | 9783528064891 |
| Auflage | 1992 |
| Seiten | 354 |
Bekannt durch
