The decision problem for some finite extensions of the intuitionistic theory of abelian groups

Dov M. Gabbay

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)59-67
Number of pages9
JournalStudia Logica
Volume34
Issue number1
DOIs
StatePublished - Mar 1975

Cite this