Dialogue games as a foundation for intuitionistic logic (1986)

by W Felshcer
Venue:Handbook of Philosophical logic, Vol.3, pp.341--372, D. Reidel