Visions of Henkin

DOI10.1007/S11229-013-0389-7zbMath1357.03006OpenAlexW2114220605MaRDI QIDQ514560

María Manzano, Enrique Alonso

Publication date: 9 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-013-0389-7

zbMATH Keywords

completenesshistory of logicLeon Henkin

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some notes on nominalism
• Alonzo church:his life, his work and some of his miracles
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• The Discovery of My Completeness Proofs
• A theory of prepositional types
• On Mathematical Induction
• An extension of the Craig-Lyndon interpolation theorem
• Diagonalisation and Church's Thesis: Kleene's Homework
• Banishing the rule of substitution for functional variables

This page was built for publication: Visions of Henkin