TY - BOOK AU - Bochenski,Innocentius M. TI - A precis of mathematical logic PY - 1959/// CY - Dordrecht-Holland PB - D. Reidel Pub. KW - Logic, Symbolic and mathematical KW - Local N1 - Translation of: Précis de logique mathématique; Bibliography: p. 94-100 ER -