TY - BOOK AU - Grzegorczyk,Andrzej AU - Wojtasiewiez,Olgierd AU - Zawadowski,Waclaw TI - An outline of mathematical logic: fundamental results and notions explained with all details SN - 9027703590 : U1 - 164 PY - 1974/// CY - Dordrecht PB - D. Reidel Pub. KW - Logic, Symbolic and mathematical N1 - Translation of : Zarys logiki matematycznej; Includes bibliographical references and index ER -