Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gi'Adel's Theorems, Set Theory, Model Theory

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gi'Adel's Theorems, Set Theory, Model Theory

by Rene Cori, Daniel Lascar, Donald Pelletier
     
 

View All Available Formats & Editions

ISBN-10: 0198500505

ISBN-13: 9780198500506

Pub. Date: 05/01/2001

Publisher: Oxford University Press, USA

Product Details

ISBN-13:
9780198500506
Publisher:
Oxford University Press, USA
Publication date:
05/01/2001
Edition description:
New Edition
Pages:
352
Product dimensions:
8.90(w) x 5.90(h) x 0.80(d)

Table of Contents

Contents of Part I
Notes from the translator
Notes to the reader
Introduction
5. Recursion theory
6. Formalization of arithmetic, Gödel's theorems
7. Set theory
8. Some model theory
Solutions to the exercises of Part II
Bibliography
Index

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >