Truth, Deduction, and Computation: Logic and Semantics for Computer Science Book Discussion
Truth, Deduction, and Computation: Logic and Semantics for Computer Science (Principles of Computer Science Series)
by
Truth, Deduction, and Computation: Logic and Semantics for Computer Science (Principles of Computer Science Series)