245,99 €
Produit Neuf
Ou 61,50 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 octobre
- 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 Labelled Deductive Systems de Gabbay, Dov M. Format Relié - Livre Philosophie
0 avis sur Labelled Deductive Systems de Gabbay, Dov M. Format Relié - Livre Philosophie
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Pierre Bayle
Neuf dès 222,62 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Thinking Is Form: The Drawings Of Joseph Beuys
Occasion dès 255,99 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
Diego Rivera. The Complete Murals
Neuf dès 212,44 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,08 €
-
Bay Area Graffiti 80-90
1 avis
Occasion dès 325,99 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 215,99 €
-
Art Of Sea Of Thieves
1 avis
Neuf dès 127,99 €
-
Elementary Fluid Mechanics
Neuf dès 354,14 €
-
Lawrence Weiner: Displacement
Occasion dès 207,99 €
-
Soviet Military Deception In The Second World War
Neuf dès 195,80 €
-
Norstedts Stora Svensk-Engelska Ordbok : Norstedts Comprehensive Swedish-English Dictionary
Occasion dès 205,00 €
-
Art+Com
Occasion dès 155,99 €
-
The Sagas Of Noggin The Nog
Occasion dès 152,90 €
-
The Lord Of The Rings
Neuf dès 190,88 €
-
Nuancier Dcs Cmyk Pro
Occasion dès 230,00 €
Produits similaires
Présentation Labelled Deductive Systems de Gabbay, Dov M. Format Relié
- Livre Philosophie
Résumé :
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas by the notion of structured families of labelled formulas, the labels having algebraic structure. This simple device has far reaching consequences for the methodology of logics and their semantics. The book studies the main features of such systems as well as many applications.
The framework of Labelled Deductive Systems is of interest to a large variety of readers. At one extreme there is the pure mathematical logician who likes exact formal definitions and dry theorems, who probably specializes in one logic and methodology. At the other extreme there is the practical consumer of logic, who likes to absorb the intutions and use labelling as needed to advance the cause of applications.
The book begins with an intuitive presentation of LDS in the context of traditional current views of monotonic and nonmonotonic logics. It is less orientated towards the pure logician and more towards the practical consumer of logic.
The main part of the book presents the formal theory of LDS for the formal logician. The author has tried to avoid the style of definition-lemma-theorem and has put in some explanation....
Biographie:
...
Sommaire:
...
Détails de conformité du produit
Personne responsable dans l'UE