Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)

Computational

von Mauricio Ayala-Rincón

Taschenbuch

ISBN-13: 978-3-319-51651-6

ISBN-10: 3-319-51651-5

Springer · 2017