Giáo trình lôgic hình thức - Bùi, Thanh Quất (H. : Nxb. Hà Nội, 2017)
77 tr.