Dana Scott, "Turning, Church, and the Entscheidungsproblem" Part 1/2<http://www.youtube.com/watch?v=_5SxKo5-reg> Dana Scott, "Turning, Church, and the Entscheidungsproblem" Part 2/2<http://www.youtube.com/watch?v=w69mDK5fELU>
Dana Scott gives his lecture at a symposium on the occasion of Patrick Suppes' 90th birthday celebration on March 10th at Stanford University. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
