Post, S.D. (2015) Berekening van de omvang van de intuïtionistische fragmenten [p, q, r, negatie, disjunctie, implicatie] en [p, q, r, dubbele negatie, disjunctie, implicatie]. Bachelor's Thesis, Computing Science.
|
Text
Bachelor_Scriptie.pdf - Published Version Download (338kB) | Preview |
|
Text
Toestemming1.pdf - Other Restricted to Registered users only Download (62kB) |
Item Type: | Thesis (Bachelor's Thesis) |
---|---|
Degree programme: | Computing Science |
Thesis type: | Bachelor's Thesis |
Language: | Dutch |
Date Deposited: | 15 Feb 2018 08:06 |
Last Modified: | 15 Feb 2018 08:06 |
URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/13055 |
Actions (login required)
View Item |