PP-2020-22: Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra The nerve criterion and polyhedral completeness of intermediate logics 1.Full Text, 2.Abstract. < Back