Locus Solum: From the rules of logic to the logic of rules
- 1 February 2001
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 11 (3), 301-506
- https://doi.org/10.1017/s096012950100336x