Handbook of logic and proof techniques for computer science
Publisher: Springer
Published: 2002
Language: eng
Format: Unknown Binding
Number of pages: 245
ISBN-13: 9783764342203
Subjects: Computers; Electronic data processing
First sentence: 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).