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. |
Description not available. |