First-Order Logic - Raymond R. Smullyan
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre80,64 €
Produit Neuf
Ou 20,16 € /mois
- Livraison : 3,99 €
- Livré entre le 27 juillet et le 3 août
Nos autres offres
-
88,39 €
Produit Neuf
Ou 22,10 € /mois
- Livraison à 0,01 €
- Livré entre le 27 juillet et le 8 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642867200_dbm
Voir le détail de l'annonce
- 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 First - Order Logic de Raymond R. Smullyan Format Broché - Livre Littérature Générale
0 avis sur First - Order Logic de Raymond R. Smullyan Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Project Management For Engineers
Neuf dès 69,48 €
-
Manuel D'arabe En Ligne Apprentissage En Autonomie
Occasion dès 50,00 €
-
Art Of Haikyu!!
Neuf dès 46,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
The Name Of The Wind
Neuf dès 42,72 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
History For The Ib Diploma Paper 3 The Soviet Union And Post-Soviet Russia (1924-2000) Coursebook With Digital Access (2 Years)
Neuf dès 44,39 €
-
The Mirabelle Cookbook
Occasion dès 94,71 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
The Hobbit And The Lord Of The Rings
Occasion dès 43,74 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
Twilight
1 avis
Occasion dès 47,02 €
-
Anselm Kiefer
Neuf dès 49,58 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 73,00 €
-
Maps
Neuf dès 46,70 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Medieval Military Technology, Second Edition
Neuf dès 62,76 €
Produits similaires
Présentation First - Order Logic de Raymond R. Smullyan Format Broché
- Livre Littérature Générale
Sommaire:
I. Propositional Logic from the Viewpoint of Analytic Tableaux.- I. Preliminaries.- II. Analytic Tableaux.- III. Compactness.- II. First-Order Logic.- IV. First-Order Logic. Preliminaries.- V. First-Order Analytic Tableaux.- VI. A Unifying Principle.- VII. The Fundamental Theorem of Quantification Theory.- VIII. Axiom Systems for Quantification Theory.- IX. Magic Sets.- X. Analytic versus Synthetic Consistency Properties.- III. Further Topics in First-Order Logic.- XI. Gentzen Systems.- XII. Elimination Theorems.- XIII. Prenex Tableaux.- XIV. More on Gentzen Systems.- XV. Craig's Interpolation Lemma and Beth's Definability Theorem.- XVI. Symmetric Completeness Theorems.- XVII. Systems of Linear Reasoning.- References.
Détails de conformité du produit
Personne responsable dans l'UE