Artículos relacionados a Incompleteness and Computability: An Open Introduction...
Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks) - Tapa blanda
Sinopsis
This book is an introduction to metamathematics and Gödel's theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus. It is based on the Open Logic Project, and available for free download at ic.openlogicproject.org.
"Sinopsis" puede pertenecer a otra edición de este libro.
- EditorialIndependently published
- Año de publicación2019
- ISBN 10 1077323395
- ISBN 13 9781077323391
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas281
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 13,40
EUR 11,84 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Incompleteness and Computability: An Open Introduction...
Imagen de archivo
Incompleteness and Computability: An Open Introduction to GÃ del's Theorems (Open Logic Project Textbooks)
Publicado por
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Antiguo o usado
Paperback
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Nº de ref. del artículo: GOR011708102
Cantidad disponible: 1 disponibles
Imagen de archivo
Incompleteness and Computability: An Open Introduction to GÃ del's Theorems (Open Logic Project Textbooks)
Publicado por
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Antiguo o usado
Paperback
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Fine. Nº de ref. del artículo: GOR014008938
Cantidad disponible: 1 disponibles
Imagen de archivo
Incompleteness and Computability: An Open Introduction to Gödel's Theorems
Publicado por
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 281 pages. 9.69x7.44x0.64 inches. In Stock. Nº de ref. del artículo: zk1077323395
Cantidad disponible: 1 disponibles
Imagen de archivo
Incompleteness and Computability: An Open Introduction to G?del's Theorems (Open Logic Project Textbooks)
Publicado por
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Antiguo o usado
Tapa blanda
Librería: SecondSale, Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Nº de ref. del artículo: 00087768839
Cantidad disponible: 1 disponibles
Imagen de archivo
Incompleteness and Computability: An Open Introduction to G�del's Theorems (Open Logic Project Textbooks)
Publicado por
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Antiguo o usado
Tapa blanda
Librería: St Vincent de Paul of Lane County, Eugene, OR, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. paperback 100% of proceeds go to charity! May have signs of use, wear and minor cosmetic defects. Nº de ref. del artículo: V-04-3819
Cantidad disponible: 1 disponibles
Imagen del vendedor
Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
Publicado por
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Nuevo
Soft cover
Librería: BestAroundDeals, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Soft cover. Condición: New. Nº de ref. del artículo: ABE-1745799466811
Cantidad disponible: 3 disponibles