DMCA

Skolemization in intuitionistic logic

by Matthias Baaz , Rosalie Iemhoff
Venue:Annals of Pure and Applied Logic
Citations:2 - 2 self