Selaus asiasanan mukaan kokoelmassa 614 Teologia

Avhandlingen handlar om den form av det ontologiska gudsbeviset som först utgavs av Anselm av Canterbury och som formulerades med verktyg av symbolisk logik av Kurt Gödel. Målet med avhandlingen är att med hjälp av dogmatikens ...