LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Springer Undergraduate Texts in Philosophy
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 20)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030648107, 9783030648114

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Undecidability and Related Results

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Springer Undergraduate Texts in Philosophy ◽

10.1007/978-3-030-64811-4_16 ◽

2021 ◽

pp. 147-152

Author(s):

Andrea Iacona

Download Full-text

Formality

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Springer Undergraduate Texts in Philosophy ◽

10.1007/978-3-030-64811-4_3 ◽

2021 ◽

pp. 25-34

Author(s):

Andrea Iacona

Download Full-text

The System L

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Springer Undergraduate Texts in Philosophy ◽

10.1007/978-3-030-64811-4_9 ◽

2021 ◽

pp. 79-90

Author(s):

Andrea Iacona

Keyword(s):

System L

Download Full-text

Derivability in G

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Springer Undergraduate Texts in Philosophy ◽

10.1007/978-3-030-64811-4_8 ◽

2021 ◽

pp. 71-78

Author(s):

Andrea Iacona

Download Full-text

Basic Notions

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Springer Undergraduate Texts in Philosophy ◽

10.1007/978-3-030-64811-4_1 ◽

2021 ◽

pp. 1-10

Author(s):

Andrea Iacona

Download Full-text

Consistency, Soundness, Completeness

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Springer Undergraduate Texts in Philosophy ◽

10.1007/978-3-030-64811-4_10 ◽

2021 ◽

pp. 91-97

Author(s):

Andrea Iacona

Download Full-text

Gödel’s Incompleteness Theorems

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Springer Undergraduate Texts in Philosophy ◽

10.1007/978-3-030-64811-4_19 ◽

2021 ◽

pp. 171-179

Author(s):

Andrea Iacona

Keyword(s):

Incompleteness Theorems ◽

Gödel’S Incompleteness Theorems

Download Full-text

The Symbols of Predicate Logic

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Springer Undergraduate Texts in Philosophy ◽

10.1007/978-3-030-64811-4_12 ◽

2021 ◽

pp. 109-117

Author(s):

Andrea Iacona

Keyword(s):

Predicate Logic

Download Full-text

First-Order Logic

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Springer Undergraduate Texts in Philosophy ◽

10.1007/978-3-030-64811-4_17 ◽

2021 ◽

pp. 153-160

Author(s):

Andrea Iacona

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Validity

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Springer Undergraduate Texts in Philosophy ◽

10.1007/978-3-030-64811-4_2 ◽

2021 ◽

pp. 11-23

Author(s):

Andrea Iacona

Download Full-text