| Date of Award | 31 Aug 1980 |
|---|---|
| Original language | Dutch |
| Supervisor | W.J. Peremans (Supervisor 1) & E.O. Brock, de (Supervisor 2) |
Cite this
- Standard
Volledigheidsbewijzen voor hogere orde modale logika's : een generalisatie van de methode van Henkin
Student thesis: Master