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
- Publication Date
- Nov 2, 2020
- Language
- English
- Category
- Science & Medicine
- Copyright
- All Rights Reserved - Standard Copyright License
- Contributors
- By (author): Pace P. Nielsen
Specifications
- Pages
- 229
- Binding Type
- Paperback Perfect Bound
- Interior Color
- Color
- Dimensions
- US Trade (6 x 9 in / 152 x 229 mm)