On Relating Theories: Proof-Theoretical Reduction

Mathesis Universalis, Computability and Proof ◽

10.1007/978-3-030-20447-1_16 ◽

2019 ◽

pp. 311-331

Author(s):

Michael Rathjen ◽

Michael Toppel

Download Full-text