stuhlmueller + course 1
Logical Systems - Peter Suber
december 2007 by stuhlmueller
Class covering different systems of logic, set theory, basic meta-math and recursive function theory.
logic
philosophy
math
course
december 2007 by stuhlmueller