Placeholder text

Einführung in die klassische und intensionale Logik

Einführung in die klassische und intensionale Logik book

Einführung in die klassische und intensionale Logik

0 - Used - good
Description
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.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
368
Release Date:
1992-01-01
Publication Date:
1992-01-01
Publisher:
Vieweg+Teubner Verlag
Languages:
Original: German
ISBN10:
3528064897
ISBN13:
9783528064891
GPSR Manufacturer Reference:
Weight:
568 g
Height:
162 cm
Width:
229 cm
Thickness:
20 cm
Currently sold out