Original language | English |
---|---|
Pages (from-to) | 59-67 |
Number of pages | 9 |
Journal | Studia Logica |
Volume | 34 |
Issue number | 1 |
DOIs | |
State | Published - Mar 1975 |
The decision problem for some finite extensions of the intuitionistic theory of abelian groups
Dov M. Gabbay
Research output: Contribution to journal › Article › peer-review