Dialogues as a foundation for intuitionistic logic (1986)

by W Felscher
Venue:Handbook of Philosophical Logic