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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

We offer a wide variety of books including fiction and non-fiction titles.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

SBYB, Inc.
900 Knell Rd, Montgomery, IL, 60538, U.S.A.

Condizioni di vendita:

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Condizioni di spedizione:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata

Articoli correlati a Incompleteness and Computability: An Open Introduction...

Incompleteness and Computability: An Open Introduction to G?del's Theorems (Open Logic Project Textbooks)

Zach, Richard

Usato - Brossura

Informazioni sull?azienda del venditore