Q3086771
type: Item
instance of: scholarly article
zbMATH Open document ID: 1226.03018
author: Leon Henkin
publication date: 2011-03-30T00:00:00Z
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 01A75
zbMATH DE Number: 5872251
MaRDI profile type: Publication
Recommended article: Completeness in hybrid type theory
Recommended article: Completeness and Cut-elimination in the Intuitionistic Theory of Types
Recommended article: Inductive types and exact completion
Recommended article: Completeness in equational hybrid propositional type theory
Recommended article: Q2853715
Recommended article: Q3709890
Recommended article: Completeness in Proof-Theoretic Semantics
Recommended article: Q3593495
Recommended article: Q4299858
Recommended article: Completeness theorems for first-order logic analysed in constructive type theory
description: scientific article