Readi Nasser, R. (1996). Ein Beweisverfahren für die Prädikatenlogik.
Chicago-Zitierstil (17. Ausg.)Readi Nasser, Rodrigo. Ein Beweisverfahren Für Die Prädikatenlogik. 1996.
MLA-Zitierstil (9. Ausg.)Readi Nasser, Rodrigo. Ein Beweisverfahren Für Die Prädikatenlogik. 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.