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. |
| id |
ndltd-LACETR-oai-collectionscanada.gc.ca-QMG.3362 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-LACETR-oai-collectionscanada.gc.ca-QMG.33622013-10-22T03:42:55Z Gentzen systems with negation and Craig factorization in the associated categories Coyle, David G 1974 Thesis NonPeerReviewed application/pdf 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. http://spectrum.library.concordia.ca/3362/ |
| collection |
NDLTD |
| format |
Others
|
| sources |
NDLTD |
| author |
Coyle, David G |
| spellingShingle |
Coyle, David G Gentzen systems with negation and Craig factorization in the associated categories |
| author_facet |
Coyle, David G |
| author_sort |
Coyle, David G |
| title |
Gentzen systems with negation and Craig factorization in the associated categories |
| title_short |
Gentzen systems with negation and Craig factorization in the associated categories |
| title_full |
Gentzen systems with negation and Craig factorization in the associated categories |
| title_fullStr |
Gentzen systems with negation and Craig factorization in the associated categories |
| title_full_unstemmed |
Gentzen systems with negation and Craig factorization in the associated categories |
| title_sort |
gentzen systems with negation and craig factorization in the associated categories |
| publishDate |
1974 |
| url |
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. |
| work_keys_str_mv |
AT coyledavidg gentzensystemswithnegationandcraigfactorizationintheassociatedcategories |
| _version_ |
1716606143985352704 |