Heinz-Dieter Ebbinghaus Forfatter
-
Mathematical Logic (Bog, Paperback / softback, Engelsk)
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Einfuhrung in die mathematische Logik (Bog, Paperback / softback, Tysk)
Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben. im Mittelpunkt steht dabei die Logik erster Stufe. Auflage... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Einfuhrung in die Mengenlehre (Bog, Paperback / softback, Tysk)
Die vorliegende Einführung gibt daher nicht nur einen Einblick in die Theorie und belegt deren Bedeutung für die Mathematik, sie behandelt auch Methoden und Ergebnisse, die auf eine möglichst weitgehende Rechtfertigung der mengentheoretischen Axiomsysteme zielen.
Levering: Skaffevare (forvent 14 - 30 hverdage)
