Incompleteness for Higher-Order Arithmetic
Incompleteness for Higher-Order Arithmetic
Yong Cheng
Details
OL Work ID
OL20919911W
Find this book
Open Library