On local proof restrictions for strong theories
On local proof restrictions for strong theories
Don Jensen
Details
OL Work ID
OL5860187W
Subjects
Proof theory
Find this book
Open Library