Couverture : Open Library
Résumé
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.
Détails de l'édition
- ISBN-13
- 9783528064891
- ISBN-10
- 3528064897
- EAN
- 9783528064891
- Éditeur
- Vieweg (Wiesbaden)
- Date de publication
- 1 janvier 1992
- Langue
- de
- Pages
- 0
- Dimensions
- 23 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language Google Books · 8 août 2026
- page_count Google Books · 8 août 2026
- publication_date Google Books · 8 août 2026
- summary Google Books · 8 août 2026