A decidable subclass of the minimal Gödel class with identity

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)1253-1261
Number of pages9
JournalJournal of Symbolic Logic
Volume49
Issue number4
DOIs
StatePublished - 1984

Cite this