Visions of Henkin

DOI10.1007/S11229-013-0389-7zbMATH Open1357.03006OpenAlexW2114220605MaRDI QIDQ514560FDOQ514560

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

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A theory of prepositional types
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• The Discovery of My Completeness Proofs
• Some notes on nominalism
• Alonzo church:his life, his work and some of his miracles
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514560)