Axiomatische Wahrheitstheorien

Main
Axiomatische Wahrheitstheorien

Axiomatische Wahrheitstheorien

Volker Halbach

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

年:

1996

出版:

Reprint 2015

出版社:

Akademie Verlag

语言:

german

页:

257

ISBN 10:

3050072253

ISBN 13:

9783050072258

文件:

PDF, 12.98 MB

IPFS:

,

german, 1996

下载 (pdf, 12.98 MB)

正在转换

转换为失败

您可能会感兴趣

Markus Nebel — Formale Grundlagen der Programmierung (Studienbücher Informatik)

Martin Ziegler — Vorlesung über Mathematische Logik [Lecture notes]

Karel Berka, Lothar Kreiser — Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik

Wolfgang Spohn, Peter Schroeder-Heister, Erik J. Olsson — Logik in der Philosophie (Philosophische Impulse Band 6)

— Nonstandard Analysis 001

— Mathematische Logik 002

Berka K., Kreiser L. — Logik-Texte: kommentierter Auswahl zur Geschichte der modernen Logik

Schnorr C.P. — Zufälligkeit und Wahrscheinlichkeit

Martin Ziegler (auth.) — Mathematische Logik

Martin Fischer — Davidsons semantisches Programm und deflationäre Wahrheitskonzeptionen

Daniel Alscher — Theorien der reellen Zahlen und Interpretierbarkeit

Gerhard Schurz — Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik

Wolfram Pohlers — Mathematische Grundlagen der Informatik

G.E. Hughes; Max J. Cresswell; Florian Coulmas; Roland Posner; Bernd Wiese — Einführung in die Modallogik

Elke Brendel — Die Wahrheit über den Lügner: Eine philosophisch-logische Analyse der Antinomie des Lügners

Karel Berka; Lothar Kreiser — Logik-Texte Kommentierte Auswahl zur Geschichte der modernen Logik

Karel Berka; Lothar Kreiser; Siegfried Gottwald; Werner Stelzner — Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik

Karel Berka; Lothar Kreiser; Siegfried Gottwald; Werner Stelzner — Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik

Wolfgang Stegmüller — Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

Ao. Univ.-Prof. Dipl.-Ing. Dr. Christoph Überhuber, Stefan Katzenbeisser (auth.) — MATLAB 6: Eine Einführung

Prof. Dr. Wolfgang Rautenberg (auth.) — Einführung in die Mathematische Logik

Prof. Dr. sc. math. Erwin Engeler, Prof. Dr. sc. math. Peter Läuchli (auth.) — Berechnungstheorie für Informatiker

Prof. Dr. sc. math. Erwin Engeler, Prof. Dr. sc. math. Peter Läuchli (auth.) — Berechnungstheorie für Informatiker

Renate Winter — Theoretische Informatik: Grundlagen mit Übungsaufgaben und Lösungen

Ronald Björn Jensen (auth.) — Modelle der Mengenlehre: Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms

Dr. Volker Strassen (eds.) — Komplexität von Entscheidungsproblemen Ein Seminar

Eberhard Bergmann, Helga Noll (auth.) — Mathematische Logik mit Informatik-Anwendungen

Wolfgang Stegmüller — Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

Franz von Kutschera — Elementare Logik

Martin Ziegler — Mathematische Logik (Mathematik Kompakt)

Franz von Kutschera — Wissenschaftstheorie

Uwe Schöning — Logik fur Informatiker

关键词