Mossakowski, Till, Răzvan Diaconescu et al., ‘What is a Logic Translation?’, Logica Universalis 3.1 (2009), pp 95–124.
journal article · https://doi.org/10.1007/s11787-009-0005-2
Mossakowski, Till, Răzvan Diaconescu et al., ‘What is a Logic Translation?’, Logica Universalis 3.1 (2009), pp 95–124.
journal article · https://doi.org/10.1007/s11787-009-0005-2