

Lectures in Logic and Set Theory - Tourlakis, George
- Format: Broché
- 342 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre36,33 €
Produit Neuf
Ou 9,08 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour

Avis sur Lectures In Logic And Set Theory Format Broché - Livre
0 avis sur Lectures In Logic And Set Theory Format Broché - Livre
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Lectures In Logic And Set Theory Format Broché
- LivreAuteur(s) : Tourlakis, GeorgeEditeur : Cambridge University PressLangue : AnglaisParution : 01/08/2010Format : Moyen, de 350g à 1kgNombre de pages : 342Expédition : 556Dimensions : 22.9 x...
Résumé :
This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
Sommaire:
Preface; 1. Basic logic; 2. The second incompleteness theorem; Bibliography; List of symbols; Index.
Détails de conformité du produit
Personne responsable dans l'UE