Premium
A finitely axiomatizable undecidable extension of K
Author(s) -
ISARD STEPHEN
Publication year - 1977
Publication title -
theoria
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.34
H-Index - 16
eISSN - 1755-2567
pISSN - 0040-5825
DOI - 10.1111/j.1755-2567.1977.tb00788.x
Subject(s) - undecidable problem , extension (predicate logic) , citation , mathematical economics , computer science , mathematics , library science , algorithm , programming language , decidability