The Completeness of Intuitionistic Logic with Respect to a Validity Concept Based on an Inversion Principle
Peter Schroeder-HeisterVolume:
12
Language:
english
Journal:
Journal of Philosophical Logic
DOI:
10.2307/30226278
Date:
August, 1983
File:
PDF, 1.40 MB
english, 1983