Page "Leon Henkin" Paragraph 21
from
Wikipedia
* Henkin, Leon.
1950.
" Completeness in the theory of types ", Journal of Symbolic Logic 15: 81 – 91.
Page 1 of 1.
1.995 seconds.