No. 30 (1998): RS-30 Finitely Presented Heyting Algebras

Published: 1998-01-30