Searching an appropriate language about proofs and constructions

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)421-435
JournalLogique et Analyse
Volume116
Publication statusPublished - 1987

Cite this