Q4789158
type: Item
instance of: scholarly article
zbMATH Open document ID: 1012.03016
publication date: 2003-01-27T00:00:00Z
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 1859182
zbMATH Keywords: decidability
author: Alexander Vasil'evich Chagrov
MaRDI profile type: Publication
Recommended article: Q4523473
Recommended article: Axiomatizing Kripke's theory of truth
Recommended article: The Logic of Provability
Recommended article: Q4215636
Recommended article: Q4397069
Recommended article: Q3094842
Recommended article: Frege's theorem
Recommended article: An intuitionistic proof of Kruskal's theorem
Recommended article: The Kreisel length-of-proof problem
description: scientific article; zbMATH DE number 1859182