A mathematical introduction to logic Enderton, Herbert B. text Academic Press 1972 N LOGIKA SIMBOLIS DAN MATEMATIS URN:ISBN:0 12 238450 4