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

Published: 2000-01-12