APA (7th ed.) Citation

Lindsay, P. A. (1987). Logic frames for interactive theorem proving. Univ.

Chicago Style (17th ed.) Citation

Lindsay, Peter A. Logic Frames for Interactive Theorem Proving. Manchester: Univ, 1987.

MLA (9th ed.) Citation

Lindsay, Peter A. Logic Frames for Interactive Theorem Proving. Univ, 1987.

Warning: These citations may not always be 100% accurate.