Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
Zach, Richard
ISBN 10: 1077323395 ISBN 13: 9781077323391
Editorial: Independently published, 2019
Nuevos
Soft cover
Librería:
BestAroundDeals, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 4 de junio de 2020
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
N° de ref. del artículo ABE-1745799466811
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Incompleteness and Computability: An Open ...
Editorial: Independently published
Año de publicación: 2019
Encuadernación: Soft cover
Condición: New
Los mejores resultados en AbeBooks
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: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. Zustand: Gut | Seiten: 328 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Nº de ref. del artículo: 43181982/3
Comprar usado
EUR 8,20
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
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
Antiguo o usado
Tapa blanda
Librería: Bay State Book Company, North Smithfield, RI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. Nº de ref. del artículo: BSM.ZIXX
Comprar usado
EUR 8,59
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
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
Comprar usado
EUR 8,70
Envío por EUR 3,38
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
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
Antiguo o usado
Tapa blanda
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Nº de ref. del artículo: M01077323395-V
Comprar usado
EUR 9,22
Envío por EUR 15,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
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 11.2019., 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Antiguo o usado
, Softcover/Paperback
Librería: Fundus-Online GbR Borkert Schwarz Zerfaß, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
, Softcover/Paperback. Condición: Sehr gut. 328 Seiten Fresh and clean copy in good condition. Frisch erhaltenes und sauberes Exemplar in gutem Zustand. Contents: Introduction to Incompleteness - Recursive Functions - Arithmetization of Syntax - Representability in Q - Incompleteness and Provablity - Models of Arithmetic - Second-Order Logic - The Lambda Calculus - Derivations in Arithmetic Theories - First Order Logic - Natural Deduction - Biographies ISBN 9781077323391 Sprache: Englisch Gewicht in Gramm: 545. Nº de ref. del artículo: 1267983
Comprar usado
EUR 17,60
Envío por EUR 40,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
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
Comprar nuevo
EUR 19,00
Envío por EUR 14,39
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles