Logic toán - Eđenman, S.L. (Giáo dục, 1981)
Trình bày về lôgic toán: Các định nghĩa, định lý, hệ thức, công thức vvà ứng dụng của đại số mệnh đề; đại số vị từ và hệ toán mệnh đề và vị từ