H. Rasiowa and R. Sikorski. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 (for 1950, pub. 1951), pp. 193–200.

Author:
  • SFSolomon Feferman
    Solomon Feferman
Publisher website
Google Scholar
Abstract
H. Rasiowa and R. Sikorski. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 (for 1950, pub. 1951), pp. 193–200. - Volume 17 Issue 1 - Solomon Feferman