K.L. de Bouvère
doctor
Naam | K.L. de Bouvère |
---|---|
Voornamen | Karel Louis |
Geslacht | man |
Publicaties | [UvA-catalogus] |
Link naar deze persoon | https://albumacademicum.uva.nl/id/id043162 |
Opleiding
Graad |
Wis- en Natuurkunde
20 mei 1959
|
---|---|
Examentype | promotie |
Instelling | Faculteit der Wis- en Natuurkunde
Universiteit van Amsterdam |
Proefschrift | method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers |
Trefwoord | logica, verzamelingsleer |
Promotor(en) |
|
Aantal stellingen | 14 |