Hypothetical reasoning with intuitionistic logic (1994)

by A J Bonner
Venue:Non-Standard Queries and Answers, Studies on Logic and Computation, chapter 8