Cumulative Higher-Order Logic as a Foundation for Set Theory

View PDF

Download Links

by Wolfgang Degen , Jan Johannsen
Citations:3 - 1 self