![](/img/cover-not-exists.png)
An Intuitionistic Completeness Theorem for Classical Predicate Logic
Victor N. KrivtsovVolume:
96
Language:
english
Pages:
7
DOI:
10.1007/s11225-010-9273-3
Date:
October, 2010
File:
PDF, 177 KB
english, 2010