Gödel, Kurt (1930). “Die Vollständigkeit der Axiome des logischen Functionenkalküls”. 《Monatshefte für Mathematik und Physik》 (독일어) 37 (1): 349–360. doi:10.1007/BF01696781. ISSN0026-9255.
worldcat.org
Gödel, Kurt (1930). “Die Vollständigkeit der Axiome des logischen Functionenkalküls”. 《Monatshefte für Mathematik und Physik》 (독일어) 37 (1): 349–360. doi:10.1007/BF01696781. ISSN0026-9255.