Preferred Forms
- 111 2 _ ‡a Logic Colloquium
- 111 2 _ ‡a Logic Colloquium
-
-
- 110 2 _ ‡a Logic Colloquium
-
- 210 | | ‡a Logic colloquium
- 111 2 _ ‡a Logic colloquium
4xx's: Alternate Name Forms (30)
5xx's: Related Names (2)
- 511 2 _ ‡a Summer School and Colloquium in Mathematical Logic ‡4 vorg ‡4 https://d-nb.info/standards/elementset/gnd#precedingConferenceOrEvent ‡j Vorgaenger
- 511 2 _ ‡a Summer School in Logic
Works
Title | Sources |
---|---|
Formal systems and recursive functions, 1965. | |
Logic, 1996: | |
Logic Colloquium, '90: | |
Proceedings of the Herbrand Symposium : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 | |
Sets, models and recursion theory, 1965 |