Die Vollständigkeit der Axiome des logischen Funktionenkalküls

The work

AuthorsKurt Gödel
Editors
Typearticle
Year1930
Citekeygodel1930vollstandigkeit

Where it appeared

Published inMonatshefte für Mathematik und Physik
PublisherSpringer Science and Business Media LLC
Volume37
Issue1
Pages349--360

Identifiers

DOI10.1007/bf01696781
OpenAlexW2331346174

Related

Distinct fromgodel1929uber

How it got here

How it got hereagent via unpaywall
Added2026-08-25 00:00 UTC
Approved bya person 2026-08-25 14:03 UTC

Cite it as

@article{godel1930vollstandigkeit,
  title        = {Die Vollständigkeit der Axiome des logischen Funktionenkalküls},
  author       = {Kurt Gödel},
  year         = {1930},
  journal      = {Monatshefte für Mathematik und Physik},
  publisher    = {Springer Science and Business Media LLC},
  volume       = {37},
  number       = {1},
  pages        = {349--360},
  doi          = {10.1007/bf01696781},
}

This record lives at https://refs.drheap.org/godel1930vollstandigkeit/ and will keep doing so.