Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks) - Tapa blanda

Libro 2 de 5: Open Logic Project Textbooks

Zach, Richard

 
9781077323391: Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
Tapa blanda
ISBN 10: 1077323395 ISBN 13: 9781077323391
Editorial: Independently published, 2019

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.

Editorial
Independently published
Año de publicación
2019
Idioma
Inglés
ISBN 10 
1077323395
ISBN 13 
9781077323391
Encuadernación
Tapa blanda
Número de páginas
328
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9781548138080: Incompleteness and Computability: An Open Logic Text

Edición Destacada

ISBN 10:  1548138088 ISBN 13:  9781548138080
Editorial: CreateSpace Independent Publishi..., 2017
Tapa blanda