An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs Mancosu, Paolo Galvan, Sergio Zach, Richard 9780192895943 Heftet 17.08.2021 Engelsk I salg
An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs Mancosu, Paolo Galvan, Sergio Zach, Richard 9780192895936 Innbundet 17.08.2021 Engelsk I salg
The Technical Director's Toolkit : Process, Forms, and Philosophies for Successful Technical Direction Girtain, Richard Stribling, Zachary 9780415747295 The Focal Press Toolkit Series Heftet 15.12.2015 Engelsk I salg
The Technical Director's Toolkit : Process, Forms, and Philosophies for Successful Technical Direction Girtain, Richard Stribling, Zachary 9781138121423 The Focal Press Toolkit Series Innbundet 15.12.2015 Engelsk I salg
