Logical Methods
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 26)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030637767, 9783030637774

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chapter 24 Natural Deduction

Logical Methods ◽

10.1007/978-3-030-63777-4_25 ◽

2021 ◽

pp. 265-276

Author(s):

Roger Antonsen

Keyword(s):

Natural Deduction

Download Full-text

Chapter 10 Recursively Defined Functions

Logical Methods ◽

10.1007/978-3-030-63777-4_11 ◽

2021 ◽

pp. 111-122

Author(s):

Roger Antonsen

Download Full-text

Chapter 15 Interpretation in Models

Logical Methods ◽

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

2021 ◽

pp. 167-178

Author(s):

Roger Antonsen

Download Full-text

Chapter 18 Combinatorics

Logical Methods ◽

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

2021 ◽

pp. 203-214

Author(s):

Roger Antonsen

Download Full-text

Chapter 13 First-Order Languages

Logical Methods ◽

10.1007/978-3-030-63777-4_14 ◽

2021 ◽

pp. 149-158

Author(s):

Roger Antonsen

Keyword(s):

Download Full-text

Chapter 23 Formal Languages and Grammars

Logical Methods ◽

10.1007/978-3-030-63777-4_24 ◽

2021 ◽

pp. 253-264

Author(s):

Roger Antonsen

Keyword(s):

Formal Languages

Download Full-text

Chapter 17 Abstraction with Equivalences and Partitions

Logical Methods ◽

10.1007/978-3-030-63777-4_18 ◽

2021 ◽

pp. 191-202

Author(s):

Roger Antonsen

Download Full-text

Chapter 16 Reasoning About Models

Logical Methods ◽

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

2021 ◽

pp. 179-190

Author(s):

Roger Antonsen

Download Full-text

Chapter 9 Closures and Inductively Defined Sets

Logical Methods ◽

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

2021 ◽

pp. 99-110

Author(s):

Roger Antonsen

Download Full-text

Chapter 8 A Little More Set Theory

Logical Methods ◽

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

2021 ◽

pp. 89-98

Author(s):

Roger Antonsen

Keyword(s):

Download Full-text