-
Nemecký jazyk
Einführung in die klassische und intensionale Logik
Autor: Ulf Friedrichsdorf
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... Viac o knihe
Na objednávku
64.76 €
bežná cena: 71.95 €
O knihe
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.
- Vydavateľstvo: Vieweg+Teubner Verlag
- Rok vydania: 1992
- Formát: Paperback
- Rozmer: 229 x 162 mm
- Jazyk: Nemecký jazyk
- ISBN: 9783528064891
Anglický jazyk 
