Kurt Gödel society
Kurt-Gödel-Gesellschaft.
Kurt-Gödel-Gesellschaft internationale Organisation
VIAF ID: 167719890 (Corporate)
Permalink: http://viaf.org/viaf/167719890
Preferred Forms
- 110 2 0 ‡a Kurt Gödel Society
-
-
- 210 | | ‡a Kurt Gödel society
- 110 2 _ ‡a Kurt Gödel society
- 110 2 _ ‡a Kurt Gödel Society
-
- 110 2 _ ‡a Kurt Gödel society
- 110 2 _ ‡a Kurt-Gödel-Gesellschaft
- 110 2 _ ‡a Kurt-Gödel-Gesellschaft ‡c internationale Organisation
-
4xx's: Alternate Name Forms (23)
5xx's: Related Names (1)
- 500 1 _ ‡a Gödel, Kurt ‡d 1906-1978 ‡4 them ‡4 https://d-nb.info/standards/elementset/gnd#topic ‡e Thema
Works
Title | Sources |
---|---|
Collegium logicum. Annals of the Kurt Gödel society | |
Computational logic and proof theory, 1993: | |
Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 |