Bemærk: Kan leveres før jul.
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.
Bemærk: Kan ikke leveres før jul.
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.
Bemærk: Kan ikke leveres før jul.
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
Bemærk: Kan ikke leveres før jul.
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.