Another Intuitionistic Completeness Proof

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)644-662
JournalThe journal of symbolic logic
Volume41
Issue number3
Publication statusPublished - 1976
Externally publishedYes

Cite this