The Technical Director's Toolkit: Process, Forms, and Philosophies for Successful Technical Direction Paperback $46.96
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs Paperback $42.21
