Opening book details…
Can I read Einführung in die klassische und intensionale Logik on EtoBox?
Einführung in die klassische und intensionale Logik by Dr. Ulf Friedrichsdorf (auth.) is a mathematics available to read on EtoBox.
What is Einführung in die klassische und intensionale Logik about?
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.
Who reads Einführung in die klassische und intensionale Logik?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Dr. Ulf Friedrichsdorf (auth.)
- Publisher
- Vieweg+Teubner Verlag : Imprint : Vieweg+Teubner Verlag
- Published
- 1992
- Language
- DE
- ISBN
- 9783322849908
- Category
- mathematics
- Subjects
- Computer Science, Engineering, Mathematics
- Updated
- 2026-03-25
More by Dr. Ulf Friedrichsdorf (auth.)
Browse all works by Dr. Ulf Friedrichsdorf (auth.)
Similar books
- Einführung in die mathematische Logik: Klassische Prädikatenlogik (Mathematische Leitfäden) — Dr. rer. nat. Hans Hermes (auth.) (1972)
- Einführung in die Operative Logik und Mathematik — Paul Lorenzen (auth.) (1955)
- Einführung in die Logik — Niko Strobach; Dieter Schönecker (2019)
- Die Wissenschaft Der Logik Und Die Logik Der Reflexion — Dieter Henrich
- Statistik und maschinelles Lernen : Eine mathematische Einführung in klassische und moderne Methoden — Mathias Trabs,Moritz Jirak,Konstantin Krenz,Markus Reiß (auth.) (2021)
- Einführung in die mathematische Logik — Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas (2018)