TY - BOOK AU - Schock Rolf TI - Logics without existence assumptions U1 - R1, K8 PY - 1968/// CY - Stuckholm PB - Almqvist & wiksell ER -