Manfred Kerber. On the representation of mathematical concepts and their translation into first-order logic. PhD thesis, Universität Münster, 1992.
@phdthesis{books-daglib-0070130,
title = {On the representation of mathematical concepts and their translation into first-order logic},
author = {Manfred Kerber},
year = {1992},
tags = {translation, logic},
researchr = {https://researchr.org/publication/books-daglib-0070130},
cites = {0},
citedby = {0},
school = {Universität Münster},
}