Words, Proofs and Diagrams( No. 141) H 286 p. 02
Barker–plummer, David, Beaver, David I., Van Benthem, Johan, Scotto Di Luzio, Patrick 著
