Most Popular Books
- An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
- An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
- INLET VELOCITY PROFILE OPTIMIZATION OF THE TURBINE 99 DRAFT TUBE: A quantitative and qualitative study of the flow characteristics through the hydraulic turbine draft tube
- Introduction a la Theorie de la Demonstration: Elimination Des Coupures, Normalisation Et Preuves de Coherence
