View Intensional Mathematics 1985