Volledigheidsbewijzen voor hogere orde modale logika's : een generalisatie van de methode van Henkin

  • P. Penning

Scriptie/Masterproef: Master

Datum prijs31 aug. 1980
Originele taalNederlands
BegeleiderW.J. Peremans (Afstudeerdocent 1) & E.O. Brock, de (Afstudeerdocent 2)

Citeer dit

'