Visions of Henkin
type: Item
instance of: scholarly article
title: Visions of Henkin
zbMATH Open document ID: 1357.03006
author: María Manzano
author: Enrique Alonso
published in: Synthese
publication date: 2017-03-09T00:00:00Z
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A70
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6693203
zbMATH Keywords: Leon Henkin
zbMATH Keywords: completeness
zbMATH Keywords: history of logic
MaRDI profile type: Publication
full work available at URL: s11229-013-0389-7
OpenAlex ID: W2114220605
cites work: Diagonalisation and Church's Thesis: Kleene's Homework
cites work: Q5825229
cites work: Banishing the rule of substitution for functional variables
cites work: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
cites work: Some notes on nominalism
cites work: Alonzo church:his life, his work and some of his miracles
cites work: On Mathematical Induction
cites work: An extension of the Craig-Lyndon interpolation theorem
cites work: A theory of prepositional types
cites work: Q4847974
cites work: The Discovery of My Completeness Proofs
cites work: Q5732648
DOI: 10.1007/S11229-013-0389-7
description: scientific article; zbMATH DE number 6693203