Goedel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics (2020)

Goedel s Theorems and Zermelo s Axioms: A Firm Foundation of Mathematics Halbeisen Lorenz ,Krapf Regula Wydawca: Springer Nature Switzerland AG Data wydania: 2020 ISBN: 9783030522780 Liczba stron: 236 Format: 160 x 243 x 21 Rodzaj oprawy: Hardback Opis produktu: A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory.