H.: Strategic computations and deductions (2008)

by C Kirchner, F Kirchner, Kirchner
Venue:Studies in Logic and the Foundations of Mathematics.Festchrift in honor of Peter Andrews