Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:award
|
| gptkbp:country |
gptkb:United_States
|
| gptkbp:field |
gptkb:logic
|
| gptkbp:frequency |
annual
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gödel Lecturer
|
| gptkbp:inception |
1990
|
| gptkbp:namedAfter |
gptkb:Kurt_Gödel
|
| gptkbp:officialWebsite |
https://aslonline.org/other-asl-activities/lectures/godel-lecture/
|
| gptkbp:presentedBy |
gptkb:Association_for_Symbolic_Logic
|
| gptkbp:bfsParent |
gptkb:Dana_Scott
gptkb:Menachem_Magidor |
| gptkbp:bfsLayer |
5
|