The completeness of the first-order functional calculus

The work

AuthorsLeon Henkin
Editors
Typearticle
Year1949
Citekeyhenkin1949completeness

Where it appeared

Published inThe Journal of Symbolic Logic
Volume14
Issue3
Pages159--166

Identifiers

DOI10.2307/2267044

How it got here

How it got hereagent via bibtex
Added2026-08-05 00:00 UTC
Approved bya person 2026-08-21 05:51 UTC

Filed under

consistency-is-several-questions jsl

Cite it as

@article{henkin1949completeness,
  title        = {The completeness of the first-order functional calculus},
  author       = {Leon Henkin},
  year         = {1949},
  journal      = {The Journal of Symbolic Logic},
  volume       = {14},
  number       = {3},
  pages        = {159--166},
  doi          = {10.2307/2267044},
}

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