Corrigendum to "A Proof-Technique in Uni
✍
Douglas Bridges and Luminiţa Vîţă
📂
Article
📅
2004
🏛
Association for Symbolic Logic
🌐
English
⚖ 97 KB