TY - BOOK AU - Styazhkin N I TI - History of mathematical logic from Leibniz to Peano U1 - 164=09 PY - 1969/// CY - London PB - M I T Press KW - Mathematical logic KW - Symbolic ER -