Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe - Berghammer, Rudolf 1952- (Bericht / Universität der Bundeswehr München, Fakultät Informatik, 1990)