An application of games to the completeness problem for formalized theories (1961)

by A Ehrenfeucht
Venue:Fundamenta Mathematicae