Lassaigne, R., & Rougemont, M. d. (1993). Logique et fondements de l'informatique: Logique du 1er ordre, calculabilité et lambda-calcul. Hermès.
Chicago-Zitierstil (17. Ausg.)Lassaigne, Richard, und Michel de Rougemont. Logique Et Fondements De L'informatique: Logique Du 1er Ordre, Calculabilité Et Lambda-calcul. Paris: Hermès, 1993.
MLA-Zitierstil (9. Ausg.)Lassaigne, Richard, und Michel de Rougemont. Logique Et Fondements De L'informatique: Logique Du 1er Ordre, Calculabilité Et Lambda-calcul. Hermès, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.