TY - BOOK AU - Koslow, Arnold AU - TI - Structuralist theory of logic U1 - 510.62 PY - 1992/// CY - Cambridge PB - Cambridge University Press KW - Logic, symbolic and mathematical ER -