TY - BOOK AU - Petkov, Petio Petrov, AU - TI - Mathematical logic U1 - 511.3 PET-M PY - 1990/// CY - Plenum Press, New York KW - Mathematical logic-- Mathematics ER -