Theories for admissible sets, a unifying approach to proof theory
Theories for admissible sets, a unifying approach to proof theory
Gerhard Jäger
Details
OL Work ID
OL8701076W
Subjects
Admissible sets
Proof theory
Find this book
Open Library