Essential logic for computer science - Page, Rex L. 1944-; Gamboa, Ruben (Cambridge, Massachusetts : The MIT Press, 2018)
Keywords: LOGICA COMPUTACIONAL