Connectez-vous pour ajouter ce livre à votre bibliothèque.
Handbook of logic and proof techniques for computer science
Autre
Première publication : 2002
Résumé
An elementary statement (or atomic statement) is a sentence with a subject and a verb (and sometimes an object) but no connectives (and, or, not, if-then, if-and-only-if).
