Authors: Mauricio Ayala-Rincón

  • Applied Logic for Computer Scientists Computational Deduction and Formal Proofs — Mauricio Ayala-Rincón

    Applied Logic for Computer Scientists Computational Deduction and Formal Proofs — Mauricio Ayala-Rincón