Søkt på: Bøker av Wolfgang Rautenberg
totalt 9 treff
A Concise Introduction to Mathematical Logic
by Lev Beklemishev, Moscow The ?eld of mathematical logic-evolving around the notions of logical validity, provability, and computation-was created in the ?rst half of the previous …
Concise Introduction to Mathematical Logic
Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This text introduces the fundamentals of this …
?-Bibliography of Mathematical Logic
Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded …
Klassische und nichtklassische Aussagenlogik
Einführung in die Mathematische Logik
Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen …
?-Bibliography of Mathematical Logic
Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded …
Einführung in die Mathematische Logik
Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen …
Einführung in die Mathematische Logik
Dieses Lehrbuch enthält über den Stoff einer einsemestrigen Einführungsvorlesung hinaus auch Material für eine Vorlesung über Logik für Informatiker (speziell logisches …