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

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{974c2f8776bf48ef815f17a6d9a4cfc1,

title = "The decision problem for some finite extensions of the intuitionistic theory of abelian groups",

author = "Gabbay, \{Dov M.\}",

year = "1975",

month = mar,

doi = "10.1007/BF02314424",

language = "אנגלית",

volume = "34",

pages = "59--67",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

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

AU - Gabbay, Dov M.

PY - 1975/3

Y1 - 1975/3

UR - https://www.scopus.com/pages/publications/34250400832

U2 - 10.1007/BF02314424

DO - 10.1007/BF02314424

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:34250400832

SN - 0039-3215

VL - 34

SP - 59

EP - 67

JO - Studia Logica

JF - Studia Logica

IS - 1

ER -