Weaker D-complete logics,” The (0)

by Norman D Megill, Martin W Bunder
Venue:University of Wollongong Department