Open AccessMathematicsComputer Science
A. Ehrenfeucht
Abstract
Abstract is not available.
Citation format
EHRENFEUCHT, A. An application of games to the completeness problem for formalized theories. FUNDAMENTA MATHEMATICAE, 1961, 49: 129–141.
A. Ehrenfeucht
Abstract is not available.
EHRENFEUCHT, A. An application of games to the completeness problem for formalized theories. FUNDAMENTA MATHEMATICAE, 1961, 49: 129–141.