BOOLEAN TYPES IN DEPENDENT THEORIES

From MaRDI portal
Publication:5052003