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