Extending Intuitionistic Logic with Subtraction (1997)

by Greg Restall
Citations:3 - 0 self