A Journey Through Formal Mathematics
Usualmente se imprime en 3 - 5 días hábiles
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.
Detalles
- Fecha de publicación
- Nov 2, 2020
- Idioma
- English
- Categoría
- Ciencia y medicina
- Copyright
- Todos los derechos reservados - Licencia estándar de copyright
- Contribuyentes
- Por (autor o autora): Pace P. Nielsen
Especificaciones
- Páginas
- 229
- Tipo de encuadernación
- Tapa blanda Tapa blanda
- Color de interior
- Color
- Dimensiones
- Comercial EE.UU. (6 x 9 in / 152 x 229 mm)