The completeness of the first-order functional calculus

The work

TitleThe completeness of the first-order functional calculus
AuthorsLeon Henkin
Typearticle
Year1949
Citekeyhenkin1949completeness

Where it appeared

Published inJournal of Symbolic Logic
Volume14
Issue3
Pages159--166

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-07
In: Journal of Symbolic Logic venue

Cite it as

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

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