Lindsay, P. A. (1987). Logic frames for interactive theorem proving. Univ.
Chicago-Zitierstil (17. Ausg.)Lindsay, Peter A. Logic Frames for Interactive Theorem Proving. Manchester: Univ, 1987.
MLA-Zitierstil (9. Ausg.)Lindsay, Peter A. Logic Frames for Interactive Theorem Proving. Univ, 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.