Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe - Berghammer, Rudolf 1952- (Univ. der Bundeswehr München, Fakultät für Informatik, 1990)
Keywords: Prädikatenlogik; Zahl