Proof theory
✍
Gaisi Takeuti
📂
Library
📅
1987
🏛
North-Holland
🌐
English
⚖ 4 MB