作 者:Douglas Bridges ;James Dent ;Maarten McKubre-Jordens
出 处:Logical Methods in Computer Science. 2016 ;12(3):1.doi:10.2168/LMCS-12(3:10)2016
出 版 社:Technical University of Braunschweig
文 章 ID:264692241
作 者:Zach Weber ;Maarten McKubre-Jordens ;Patrick Girard
出 处:Australasian Journal of Logic. 2017 ;14(1).
出 版 社:Philosophy Department, University of Melbourne
文 章 ID:193873708
作 者:Zach Weber ;Maarten McKubre-Jordens
出 处:Australasian Journal of Logic. 2017 ;14(1).
出 版 社:Philosophy Department, University of Melbourne
文 章 ID:193873729