A decidable subclass of the minimal Gödel class with identity
From MaRDI portal
Publication:3695254
DOI10.2307/2274275zbMath0576.03009OpenAlexW2080034744MaRDI QIDQ3695254
Saharon Shelah, Warren D. Goldfarb, Yuri Gurevich
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274275
Related Items
Cites Work