| dc.rights.license | CC-BY-NC-ND | |
| dc.contributor.advisor | Rosalie Iemhoff, Jeroen Goudsmit | |
| dc.contributor.author | Bakker, T. | |
| dc.date.accessioned | 2012-09-27T17:01:00Z | |
| dc.date.available | 2012-09-27 | |
| dc.date.available | 2012-09-27T17:01:00Z | |
| dc.date.issued | 2012 | |
| dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/11662 | |
| dc.description.abstract | In deze scriptie zal ik uitleggen waarom en bewijzen dat de Wro´nski-regels een ba- sis voor toelaatbaarheid vormen in het implicatie-negatie fragment van intïtionistische propositionele logica. | |
| dc.description.sponsorship | Utrecht University | |
| dc.language.iso | nl | |
| dc.title | Toelaatbaarheid in Intuïtionistische Logica | |
| dc.type.content | Bachelor Thesis | |
| dc.rights.accessrights | Open Access | |
| dc.subject.keywords | logica, impliciatie-negatie fragment, toelaatbaarheid, intuïtionistische | |
| dc.subject.courseuu | Liberal Arts and Sciences | |
