Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:learned_society
|
| gptkbp:country |
gptkb:Austria
|
| gptkbp:focus |
gptkb:logic
gptkb:mathematics gptkb:philosophy |
| gptkbp:foundedIn |
1987
|
| gptkbp:headquartersLocation |
gptkb:Vienna
|
| https://www.w3.org/2000/01/rdf-schema#label |
Kurt Gödel Society
|
| gptkbp:languageOfWork |
gptkb:German
English |
| gptkbp:namedAfter |
gptkb:Kurt_Gödel
|
| gptkbp:organizes |
Kurt Gödel Centenary Research Prize Fellowships
Vienna Summer of Logic |
| gptkbp:website |
https://kgs.logic.at/
|
| gptkbp:bfsParent |
gptkb:Alonzo_Church_Award
|
| gptkbp:bfsLayer |
7
|