Publication | Closed Access

Logic with the quantifier “there exist uncountably many”

Quantifier “Automated ReasoningPhilosophy Of LogicFirst-order LogicSemantics