Nr. 12 (2000): RS-12 Intuitionistic Choice and Restricted Classical Logic

Publiceret: 2000-01-12