Logic And Structure - van Dalen Dirk
- Collection: universitext
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreChargement...
Prix neuf 74,89 €
Qu'est-ce que le prix barré ?
C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.
En savoir plus58,06 €
Occasion · Très Bon État
Ou 14,52 € /mois
- Livraison GRATUITE
- Livré entre le 27 et le 30 avril
Nos autres offres
-
89,69 €
Produit Neuf
Ou 22,42 € /mois
- Livraison à 0,01 €
- Livré entre le 29 avril et le 6 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781447145578_dbm
-
156,99 €
Occasion · Comme Neuf
Ou 39,25 € /mois
23,55 € offerts- Livraison : 25,00 €
- Livré entre le 6 et le 15 mai
Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus
- 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 Logic And Structure Format Broché - Livre Mathématiques
0 avis sur Logic And Structure Format Broché - Livre Mathématiques
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Encyclopédie Visuelle De La Vie Préhistorique
5 avis
Occasion dès 87,00 €
-
La Validation De Méthode En Spectrométrie D'émission Optique À Source Plasma - De L'échantillon Au Résultat
Neuf dès 69,00 €
Occasion dès 61,99 €
-
Construire Une Cave Naturelle - Construction Et Aménagement D'espaces Pour La Conservation Des Fruits Et Des Légumes
8 avis
Occasion dès 84,90 €
-
Plantes Et Végétation En Limousin
Occasion dès 29,90 €
-
Conception Des Machines, Principes Et Applications - Volume 2, Dynamique
Neuf dès 89,00 €
Occasion dès 30,00 €
-
Terre, Portrait D'une Planète
Occasion dès 33,89 €
-
Physique Theorique : Theorie Des Champs - 5eme Edition
4 avis
Neuf dès 55,00 €
Occasion dès 40,00 €
-
Exercices Et Problèmes - C2 - Signaux Et Systèmes - Fascicule 3 - Maîtrise D'e.E.A. - Collection "Dunod Université"
Occasion dès 54,85 €
-
Flora Gallica - Flore De France
7 avis
Neuf dès 89,00 €
Occasion dès 72,97 €
-
Mécanique De L'ingénieur - Volume 1, Statique Version Si
Neuf dès 68,90 €
-
Physique Theorique - Physique Statistique 4eme Edition
3 avis
Neuf dès 55,00 €
Occasion dès 37,79 €
-
Physique Xxi - Tome C, Ondes Et Physique Moderne
1 avis
Neuf dès 79,90 €
-
Acoustique Et Musique - Rencontre Entre L'architecture Et Le Monde Musical
Neuf dès 63,90 €
Occasion dès 32,00 €
-
Charles Darwin: " De L'origine Des Espèces " ; En 2 Tomes Aux Éditions D'art Jean De Bonnot -- 1982 -- Reliures Plein Cuir - Sciences Humaines - Théorie De L'évolution Sciences Appliquées
Occasion dès 80,00 €
-
Cours D'algèbre
Occasion dès 36,24 €
-
Ciment Naturel
1 avis
Occasion dès 59,00 €
-
Dynamique Des Structures Industrielles
1 avis
Neuf dès 115,00 €
Occasion dès 70,00 €
-
La Variation Des Animaux Et Des Plantes À L'état Domestique - Précédé De L'épistémologie Implicite De Charles Darwin
1 avis
Neuf dès 32,00 €
Occasion dès 30,00 €
-
Théorie Et Pratique De L'élevage Des Vins Rouges
Neuf dès 54,50 €
-
Mécanique Des Matériaux Solides
1 avis
Neuf dès 61,80 €
Occasion dès 57,80 €
Produits similaires
Présentation Logic And Structure Format Broché
- Livre Mathématiques
Résumé :
Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and GÖdel's famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen's natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-LÖwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the GÖdel translation, the disjunction and existence property are also included. The last chapter on GÖdel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products.
Sommaire: Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalization.- G?del's theorem.
©
Détails de conformité du produit
Personne responsable dans l'UE