A constructive analysis of RM

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)939-951
Number of pages13
JournalJournal of Symbolic Logic
Volume52
Issue number4
DOIs
StatePublished - 1987

Cite this