Dialogues as a Foundation for Intuitionistic Logic, in Handbook of philosophical logic, Volume 5 (1986)

by W Felscher