UNITEXT - Logic: A Brief Course
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Milan

9788847023604, 9788847023611

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Resolution Method

UNITEXT - Logic: A Brief Course ◽

10.1007/978-88-470-2361-1_3 ◽

2012 ◽

pp. 13-17

Author(s):

Daniele Mundici

Keyword(s):

Resolution Method

The Predicate Logic L

UNITEXT - Logic: A Brief Course ◽

10.1007/978-88-470-2361-1_16 ◽

2012 ◽

pp. 95-116

Author(s):

Daniele Mundici

Keyword(s):

Predicate Logic

The Quantifiers “There Exists” and “For All”

UNITEXT - Logic: A Brief Course ◽

10.1007/978-88-470-2361-1_11 ◽

2012 ◽

pp. 57-61

Author(s):

Daniele Mundici

Propositional Logic: Semantics

UNITEXT - Logic: A Brief Course ◽

10.1007/978-88-470-2361-1_8 ◽

2012 ◽

pp. 41-46

Author(s):

Daniele Mundici

Keyword(s):

Propositional Logic

Propositional Logic: Syntax

UNITEXT - Logic: A Brief Course ◽

10.1007/978-88-470-2361-1_7 ◽

2012 ◽

pp. 35-39

Author(s):

Daniele Mundici

Keyword(s):

Propositional Logic

Fast Classes for DPP

UNITEXT - Logic: A Brief Course ◽

10.1007/978-88-470-2361-1_5 ◽

2012 ◽

pp. 27-30

Author(s):

Daniele Mundici

Normal Forms

UNITEXT - Logic: A Brief Course ◽

10.1007/978-88-470-2361-1_9 ◽

2012 ◽

pp. 47-51

Author(s):

Daniele Mundici

Keyword(s):

Normal Forms

Robinson’s Completeness Theorem

UNITEXT - Logic: A Brief Course ◽

10.1007/978-88-470-2361-1_4 ◽

2012 ◽

pp. 19-26

Author(s):

Daniele Mundici

Keyword(s):

Completeness Theorem

Fundamental Logical Notions

UNITEXT - Logic: A Brief Course ◽

10.1007/978-88-470-2361-1_2 ◽

2012 ◽

pp. 7-11

Author(s):

Daniele Mundici

Final Remarks

UNITEXT - Logic: A Brief Course ◽

10.1007/978-88-470-2361-1_17 ◽

2012 ◽

pp. 117-120

Author(s):

Daniele Mundici