Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle Cheng, Yong Heftet / 2019 / Engelsk
Stratum Ventilation—Advanced Air Distribution for Low-Carbon and Healthy Buildings Working Principles, Design and Operation Methods, and Application Scenarios Zhang, Sheng Innbundet / 2024 / Engelsk
