On the Decidability of Propositional Algorithmic Logic

Research output: Contribution to journalArticle

3 Scopus citations
Original languageEnglish (US)
Pages (from-to)247-261
Number of pages15
JournalMathematical Logic Quarterly
Volume28
Issue number14-18
DOIs
StatePublished - 1982
Externally publishedYes

ASJC Scopus subject areas

  • Logic

Cite this