Skolemization in intuitionistic logic (0)

by M Baaz, R Iemhoff
Venue:Annals of Pure and Applied Logic