Applied logic for computer scientists: Computational deduction and formal proofs.
Citación estilo ChicagoApplied Logic for Computer Scientists: Computational Deduction and Formal Proofs.
Cita MLAApplied Logic for Computer Scientists: Computational Deduction and Formal Proofs.
Precaución: Estas citas no son 100% exactas.