Díaz Caro, A., & Dowek, G. (2019). Proof Normalisation in a Logic Identifying Isomorphic Propositions. Web
Citación estilo ChicagoDíaz Caro, Alejandro, and Gilles Dowek. Proof Normalisation in a Logic Identifying Isomorphic Propositions. 2019.
Cita MLADíaz Caro, Alejandro, and Gilles Dowek. Proof Normalisation in a Logic Identifying Isomorphic Propositions. 2019.
Precaución: Estas citas no son 100% exactas.