SHAWN MICHAEL STANDEFER2021-11-272021-11-272010978-1-84890-009-7https://scholars.lib.ntu.edu.tw/handle/123456789/588076Philosophical Aspects of Display Logicbook part