Bounded Set Theory
botik.ruA weak version of ordinary set theory using bounded quantification. Papers and software.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
A weak version of ordinary set theory using bounded quantification. Papers and software.