Einführung in die klassische und intensionale Logik (1992)

By:

Sign Up Now! Already a Member? Log In
You must be logged into UK education collection to access this title. Learn about membership options, or view our freely available titles.

Synopsis
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.
Copyright:
1992

Book Details

Book Quality:
Publisher Quality
ISBN-13:
9783322849908
Related ISBNs:
9783528064891
Publisher:
Vieweg+Teubner Verlag
Date of Addition:
Copyrighted By:
N/A
Adult content:
No
Language:
German
Has Image Descriptions:
No
Categories:
Nonfiction, Computers and Internet, Technology, Mathematics and Statistics, Philosophy
Submitted By:
Bookshare Staff
Usage Restrictions:
This is a copyrighted book.

Reviews

No Rating Yet