Einfuhrung in die klassische und intensionale Logik
Price for Eshop: 997 Kč (€ 39.9)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Annotation
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 einzufuhren. Die hier naher betrachteten intensionalen Systeme hangen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik naturlicher Sprachen betreffen.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.