Concepedia
Colloquium Mathematicum · 1958 · 102 citations · 0 references
Open access
HumanitiesComputer ScienceLogicSemanticsSyntaxPredicate LogicRecursion TheoryPredicate Logic Semantics