Completeness in the Theory of Types
The work
| Authors | Leon Henkin |
|---|---|
| Editors | |
| Type | article |
| Year | 1950 |
| Citekey | henkin1950completeness |
Where it appeared
| Published in | The Journal of Symbolic Logic |
|---|---|
| Volume | 15 |
| Issue | 2 |
| Pages | 81--91 |
Identifiers
| DOI | 10.2307/2266967 |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-21 05:52 UTC |
Filed under
Cite it as
@article{henkin1950completeness,
title = {Completeness in the Theory of Types},
author = {Leon Henkin},
year = {1950},
journal = {The Journal of Symbolic Logic},
volume = {15},
number = {2},
pages = {81--91},
doi = {10.2307/2266967},
}
This record lives at https://refs.drheap.org/henkin1950completeness/ and will keep doing so.