Concepedia
Fundamenta Mathematicae · 1978 · 109 citations · 0 references
Open access
ComputingComputer ScienceMathematicsFormal MethodsPhilosophy Of MathematicsSet TheoryAxiomatic Set TheoryModel TheoryNonstandard UnitsStatic AnalysisAxiomatic LanguageNonstandard Models