Noch Fragen? 0800 / 33 82 637

Einführung in die klassische und intensionale Logik

Produktform: Buch / Einband - flex.(Paperback)

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.weiterlesen

Sprache(n): Deutsch

ISBN: 978-3-528-06489-1 / 978-3528064891 / 9783528064891

Verlag: Vieweg & Teubner

Erscheinungsdatum: 01.01.1992

Seiten: 354

Auflage: 1

Autor(en): Ulf Friedrichsdorf

69,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück