Concepedia
Duke Mathematical Journal · 1968 · 29 citations · 0 references
Natural SciencesMathematicsSet TheoryAxiomatic Set TheoryPredicate LogicCompletenessCompleteness ResultsModel Completeness