Intensional Mathematics by 'Shapiro' & Ralph Shapiro