Søkt på: Søkeresultat
totalt 5 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 …
?-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
?-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 …