If you need an accessible version of this item please contact JSTOR User Support

The Completeness of the First-Order Functional Calculus

Leon Henkin
The Journal of Symbolic Logic
Vol. 14, No. 3 (Sep., 1949), pp. 159-166
DOI: 10.2307/2267044
Stable URL: http://www.jstor.org/stable/2267044
Page Count: 8
  • Download PDF
  • Cite this Item

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support
The Completeness of the First-Order Functional Calculus
Preview not available

Page Thumbnails

  • Thumbnail: Page 
159
    159
  • Thumbnail: Page 
160
    160
  • Thumbnail: Page 
161
    161
  • Thumbnail: Page 
162
    162
  • Thumbnail: Page 
163
    163
  • Thumbnail: Page 
164
    164
  • Thumbnail: Page 
165
    165
  • Thumbnail: Page 
166
    166