Skip to content

A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability.

Vladimir Yu. Sazonov

VenueBCSL
Year1994
ProceedingsCSL

Browse the full CSL paper archive.