Concepedia

A proof of the completeness theorem of Grödel

Helena Rasiowa, Roman Sikorski

Fundamenta Mathematicae · 1950 · 144 citations · 0 references

Open access

Concepts

ComputingComputer ScienceMathematicsSet TheoryTheory Of ComputationArithmetic GeometryPredicate LogicTheorem ProvingCompletenessCompleteness Results