Concepedia
Fundamenta Mathematicae · 1965 · 140 citations · 0 references
Open access
ComputingComputer ScienceMathematicsFormal MethodsTheory Of ComputationRecursion TheoryCraig InterpolationCraig Interpolation TheoremInterpolation Theory