The following pages link to (Q2767041):
Displaying 5 items.
- Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth) (Q1092015) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Recent advances of research on Computational Logic in Italy (CILC 2012): In memoriam of Elio Lanzarone (1945-2011) (Q3458884) (← links)
- (Q4243437) (← links)
- Memories of Kurt Schütte and the logic group in Munich: A personal report (Q5013896) (← links)