Applied Logic for Computer Scientists Computational Deduction and Formal Proofs Ebook (djibook.shop)

$10.00

Mauricio Ayala-Rinc’n; Fl’vio L. C. de Moura

Category: Tag: