Journal | Contributors | Profile

(2008)., The logic of the weak excluded middle: a case study of proof-search, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 95-116.

with Lupacchini, R. (eds) (2008). Deduction, computation, experiment: exploring the effectiveness of proof, Springer, Dordrecht.