Applied logic for computer scientists: Computational deduction and formal proofs.
Chicago Style CitationApplied Logic for Computer Scientists: Computational Deduction and Formal Proofs.
MLA CitationApplied Logic for Computer Scientists: Computational Deduction and Formal Proofs.
Warning: These citations may not always be 100% accurate.