Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

A note on Visions of Henkin

  • 144 Accesses

This is a preview of subscription content, log in to check access.

Author information

Correspondence to Enrique Alonso.

Additional information

This comment refers to the article available at: http://dx.doi.org/10.1007/s11229-013-0389-7.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Manzano, M., Alonso, E. A note on Visions of Henkin. Synthese 194, 1839–1840 (2017). https://doi.org/10.1007/s11229-016-1022-3

Download citation

Keywords

  • Formal Logic
  • Main Topic
  • 70th Birthday
  • Propositional Logic
  • Type Theory