Gamboa, Ruben books & textbook
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Computer Science and General Issues)
Springer /2014-08-01 Paperback / 577 Pages
isbn-10: 3319089692 / isbn-13: 9783319089690
Essential Logic for Computer Science (Mit Press)
The MIT Press /2019-01-08 Hardcover / 304 Pages
isbn-10: 0262039184 / isbn-13: 9780262039185
Quimica
María Cecilia Daizo, Rubén Oscar Gamboa
Eudeba /2010T Paperback
isbn-10: 9502316851 / isbn-13: 9789502316857
