nLab
deduction calculus

Created on September 18, 2012 22:28:40 by Urs Schreiber (82.169.65.155)