Schwarz, Wolfgang2015-12-089780199673421http://hdl.handle.net/1885/32181Proving the Principal Principle201410.1093/acprof:oso/9780199673421.001.00012015-12-08