Proof Theory Proof Theory
2014
Combinatory Logic Combinatory Logic
2011
J. Michael Dunn on Information Based Logics J. Michael Dunn on Information Based Logics
2016