1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Michael Beeson
NF set theory using intuitionistic logic is called iNF. We develop the theories of finite sets and their power sets and mappings, finite cardinals and their ordering, cardinal expo…