Cumulative Higher-Order Logic as a Foundation for Set Theory

Cached

Download Links

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

Document Versions

Cumulative Higher-Order Logic as a Foundation for Set Theory –Wolfgang Degen, Jan Johannsen
Cumulative Higher-Order Logic as a Foundation for Set Theory –Wolfgang Degen, Jan Johannsen