Help


from Wikipedia
« »  
* Henkin, Leon.
1949.
" The Completeness of the First-Order Functional Calculus ", Journal of Symbolic Logic.
14: 159 – 166.

1.856 seconds.