R.: A proof of completeness theorem of Gódel (1950)

by H Rasiowa, Sikorski
Venue:Fundamenta Mathematicae