989:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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 einzufhren. Die hier nher betrachteten intensionalen Systeme hngen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natrlicher Sprachen betreffen.
- Format: Pocket/Paperback
- ISBN: 9783528064891
- Språk: Tyska
- Antal sidor: 354
- Utgivningsdatum: 1992-01-01
- Förlag: Vieweg+Teubner Verlag