On the representation of mathematical concepts and their translation into first-order logic - Kerber, Manfred (1992)
Zugl.: Kaiserslautern, Univ., Diss., 1992