Term Logic with Choice Operator - Hans Hermes
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreNos autres offres
-
51,68 €
Produit Neuf
Ou 12,92 € /mois
- Livraison à 0,01 €
- Livré entre le 25 juillet et le 6 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540048992_dbm
Voir le détail de l'annonce -
58,45 €
Produit Neuf
Ou 14,61 € /mois
- Livraison : 3,99 €
- Livré entre le 24 et le 30 juillet
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 Term Logic With Choice Operator de Hans Hermes Format Broché - Livre
0 avis sur Term Logic With Choice Operator de Hans Hermes Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Term Logic With Choice Operator de Hans Hermes Format Broché
- Livre
Sommaire:
Foreword to the Revised Edition.- First order predicate logic with choice operator.- First order term logic with choice operator.- Embedding of predicate logic in term logic.- Embedding of term logic in predicate logic.- Free occurence of a variable. Rank of term. Elementary substitution.- A term calculus.- Soundness of the rules.- Survey of the completeness proof.- Some theorems concerning deducibility.- Substitution.- Further theorems concerning deducibility.- Survey of the proof of the Theorem on satisfiability.- Details of the proof.- Completeness of restricted term calculus....
Détails de conformité du produit
Personne responsable dans l'UE