@article{10.2307/2271730,
    Author = {Gabbay, Dov M.},
    File = {The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields - gabbay1973 (0) - a - a - i.pdf},
    ISSN = {00224812},
    Journal = {The Journal of Symbolic Logic},
    Number = {1},
    Pages = {86--92},
    Publisher = {Association for Symbolic Logic},
    Title = {The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields},
    URL = {http://www.jstor.org/stable/2271730},
    Volume = {38},
    Year = {1973},
    bdsk-url-1 = {http://www.jstor.org/stable/2271730},
    date-added = {2019-11-15 18:54:52 +0100},
    date-modified = {2019-11-15 18:54:52 +0100},
    doi = {10.2307/2271730}
}

@article{10.2307/2271730, Author = {Gabbay, Dov M.}, File = {The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields - gabbay1973 (0) - a - a - i.pdf}, ISSN = {00224812}, Journal = {The Journal of Symbolic Logic}, Number = {1}, Pages = {86--92}, Publisher = {Association for Symbolic Logic}, Title = {The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields}, URL = {http://www.jstor.org/stable/2271730}, Volume = {38}, Year = {1973}, bdsk-url-1 = {http://www.jstor.org/stable/2271730}, date-added = {2019-11-15 18:54:52 +0100}, date-modified = {2019-11-15 18:54:52 +0100}, doi = {10.2307/2271730} }