Restall, GregGregRestallSTANDEFER, SHAWN MICHAELSHAWN MICHAELSTANDEFER2023-06-022023-06-0220239780262544849https://scholars.lib.ntu.edu.tw/handle/123456789/631727enLogical Methodsbook