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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

St Vinnie's Charitable Books is the online book storefront for St Vincent de Paul Society of Lane County Oregon. We are a charitable organization that serves over 84,000 people annually through homeless shelters, affordable housing and emergency services. We are passionate about books and sell over 1 million books annually throughout though our retail operations.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

St Vincent de Paul of Lane County
2890 Chad Drive, Eugene, OR, 97408, U.S.A.

Conditions de vente :

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.

Conditions de livraison :

Orders usually ship within 1 business day. 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.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � Incompleteness and Computability: An Open Introduction...

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

Zach, Richard

Ancien(s) ou d'occasion - Couverture souple

Informations commerciales relatives au vendeur