TY - BOOK AU - Srzednicki, Jan TI - INITIATIVES IN LOGIC SN - 9024736005 U1 - 511.3 PY - 1987/// CY - Dordrecht PB - Martinus Nijhoff KW - Logic, Symbolic And Mathematical ER -