New Intuitionistic Logical Constants and Novikov Completeness
Alexander YashinVolume:
63
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20016082
Date:
September, 1999
File:
PDF, 2.41 MB
english, 1999