N. Olivetti

Books that list N. Olivetti among their authors but not as the lead author: co-written works, collections and compilations.

Goal-directed proof theoryD.M. Gabbay

Goal-directed proof theory

D.M. Gabbay · 2000