Formalization, Mechanization and Automation of Gödel's Proof of God's Existence
| Authors: | ; |
|---|---|
| Format: | Print Article |
| Language: | German |
| Check availability: | HBZ Gateway |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
nap, New Academic Press
2015
|
| In: |
Geschichtsphilosophie
Year: 2015, Pages: 128-133 |
| ISBN: | 3700319185 |
|---|---|
| Contains: | Enthalten in: Geschichtsphilosophie
|