Elementary Logic
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer London

9781848000810, 9781848000827

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Truth for Statements with Multiple Connectives

Elementary Logic ◽

10.1007/978-1-84800-082-7_9 ◽

2008 ◽

pp. 95-104

Author(s):

Robert Lover

Download Full-text

Defining Data Structures

Elementary Logic ◽

10.1007/978-1-84800-082-7_5 ◽

2008 ◽

pp. 41-52

Author(s):

Robert Lover

Keyword(s):

Data Structures

Download Full-text

Above and Beyond this Book

Elementary Logic ◽

10.1007/978-1-84800-082-7_20 ◽

2008 ◽

pp. 233-239

Author(s):

Robert Lover

Download Full-text

Program Correctness Proofs

Elementary Logic ◽

10.1007/978-1-84800-082-7_19 ◽

2008 ◽

pp. 211-231

Author(s):

Robert Lover

Keyword(s):

Program Correctness ◽

Correctness Proofs

Download Full-text

Rules of Inference

Elementary Logic ◽

10.1007/978-1-84800-082-7_16 ◽

2008 ◽

pp. 181-188

Author(s):

Robert Lover

Download Full-text

Truth Functional Forms

Elementary Logic ◽

10.1007/978-1-84800-082-7_11 ◽

2008 ◽

pp. 115-127

Author(s):

Robert Lover

Keyword(s):

Functional Forms

Download Full-text

Expressing Program Designs

Elementary Logic ◽

10.1007/978-1-84800-082-7_7 ◽

2008 ◽

pp. 67-75

Author(s):

Robert Lover

Download Full-text

Compound Statements

Elementary Logic ◽

10.1007/978-1-84800-082-7_2 ◽

2008 ◽

pp. 13-21

Author(s):

Robert Lover

Download Full-text

Proof

Elementary Logic ◽

10.1007/978-1-84800-082-7_17 ◽

2008 ◽

pp. 189-201

Author(s):

Robert Lover

Download Full-text

Logical Equivalence

Elementary Logic ◽

10.1007/978-1-84800-082-7_14 ◽

2008 ◽

pp. 153-164

Author(s):

Robert Lover

Keyword(s):

Logical Equivalence

Download Full-text