Trends in Logic - A Model–Theoretic Approach to Proof Theory
Latest Publications

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030289201, 9783030289218

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Satisfaction Classes

Trends in Logic - A Model–Theoretic Approach to Proof Theory ◽

10.1007/978-3-030-28921-8_5 ◽

2019 ◽

pp. 89-106

Author(s):

Henryk Kotlarski

Keyword(s):

Satisfaction Classes

Download Full-text

Incompleteness

Trends in Logic - A Model–Theoretic Approach to Proof Theory ◽

10.1007/978-3-030-28921-8_3 ◽

2019 ◽

pp. 43-71

Author(s):

Henryk Kotlarski

Download Full-text

Transfinite Induction

Trends in Logic - A Model–Theoretic Approach to Proof Theory ◽

10.1007/978-3-030-28921-8_4 ◽

2019 ◽

pp. 73-87

Author(s):

Henryk Kotlarski

Keyword(s):

Transfinite Induction

Download Full-text

Some Combinatorics

Trends in Logic - A Model–Theoretic Approach to Proof Theory ◽

10.1007/978-3-030-28921-8_1 ◽

2019 ◽

pp. 1-37

Author(s):

Henryk Kotlarski

Download Full-text

Some Model Theory

Trends in Logic - A Model–Theoretic Approach to Proof Theory ◽

10.1007/978-3-030-28921-8_2 ◽

2019 ◽

pp. 39-42

Author(s):

Henryk Kotlarski

Keyword(s):

Model Theory

Download Full-text