Luis M Augusto

titleISBN-13
(ISBN-10)
year of publication
Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic978-1-8489O-28O-O
(1-8489O-28O-8)
2018

L a · L.M. · Luis A. · M.A.

Luis M. B. Cabral