A Journey Through Formal Mathematics
Di solito viene stampato in 3-5 giorni lavorativi
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.
Dettagli
- Data di pubblicazione
- Nov 2, 2020
- Lingua
- English
- Categoria
- Medicina & scienza
- Copyright
- Tutti i diritti riservati - Licenza di copyright standard
- Collaboratori
- Di (autore): Pace P. Nielsen
Specifiche
- Pagine
- 229
- Tipo di rilegatura
- Libro a copertina morbida Libro a copertina morbida
- Colore del contenuto
- Colore
- Dimensioni
- US Trade (152 x 229 mm)