作 者:Guido Governatori ;Electrical Engineering, The University of Queensland, Australia ;Antonino Rotolo
出 处:Australasian Journal of Logic. 2006 ;4(0).
出 版 社:Philosophy Department, University of Melbourne
文 章 ID:185374277