Truth as a logical connective
Truth as a logical connective?
A constructive naive set theory and infinity