On Skolemization in constructive theories
Baaz, Matthias, Iemhoff, RosalieVolume:
73
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1230396760
Date:
September, 2008
File:
PDF, 1.77 MB
english, 2008