Talk:Leon Henkin

From Wikipedia, the free encyclopedia

	Philosophy Portal This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details.
Start	This article has been rated as Start-Class on the quality scale.
???	This article has not yet received an importance rating on the importance scale.
Additional information: Related task forces (core areas): Logic Related task forces (major fields): Philosophers

	This article is within the scope of WikiProject Biography. For more information, visit the project page.	Biography Portal
Start	This article has been rated as Start-Class on the project's quality scale. [FAQ]
	This article is supported by the Science and academia work group.

I found the sentence "Later Henkin generalized this result to a variant of Church's higher-order logic" misleading, since according to Henkin himself in the Bulletin of Symbolic Logic, June 1996, The discovery of my completeness proofs, pages 127 -- 158, he -first- discovered his proof for Higher-Order Logic, and -then- specialised it to first-order logic. 82.182.115.209 21:34, 8 November 2006 (UTC)

[edit] WikiProject class rating

This article was automatically assessed because at least one WikiProject had rated the article as start, and the rating on other projects was brought up to start class. BetacommandBot 04:14, 10 November 2007 (UTC)