Handbook of Logic and Proof Techniques for Computer Science
Edition: 1 edition
Publisher: Birkhäuser Boston
Published: January 17, 2002
Language: eng
Format: Hardcover
Number of pages: 300
ISBN-13: 9780817642204
Subjects: Computer Programming; Mathematical logic; Mathematics for scientists & engineers; Mathematical And Symbolic Logic; Theory Of Computing; Mathematics; Computers - General Information; Science/Mathematics; Set Theory; Artificial Intelligence - General; Computer Science; Logic; Computation Theory; Formal Languages; Math Logic; Mathematics / Logic; Proof methods; 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).