A unified treatment of elementary proof theory
A unified treatment of elementary proof theory
Thomas Scanlon
Details
OL Work ID
OL43426414W
Find this book
Open Library