Gentzen systems with negation and Craig factorization in the associated categories
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
1974
|
| Online Access: | http://spectrum.library.concordia.ca/3362/1/MK20606.pdf Coyle, David G <http://spectrum.library.concordia.ca/view/creators/Coyle=3ADavid_G=3A=3A.html> (1974) Gentzen systems with negation and Craig factorization in the associated categories. Masters thesis, Concordia University. |