A command for inductive sets in ILF. Master Thesis, Universidad de la Rep'ublica (1992)

by E Gim'enez