This is a book on formalized mathematics. It covers diverse topics, such as first order logic, axiomatic set theory, partial orderings and well-orderings, transfinite induction, and computability/decidability. It serves as an introductory textbook for undergraduates.
Details
- Veröffentlicht am
- Nov 2, 2020
- Sprache
- English
- Kategorie
- Medizin & Wissenschaft
- Copyright
- Alle Rechte vorbehalten - Standard-Urheberrechtslizenz
- Autoren/Mitwirkende
- Von (Autor): Pace P. Nielsen
Spezifikationen
- Seiten
- 229
- Bindung
- Paperback Paperback
- Farbe für den Innenteil des Buches
- Farbe
- Abmessungen
- US Trade (6 x 9 Zoll / 152 x 229 mm)