On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus
Richmond H. ThomasonVolume:
33
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2270047
Date:
March, 1968
File:
PDF, 605 KB
english, 1968