APA (7th ed.) Citation

Thistlewaite, P. B. (1988). Automated theorem proving in non-classical logics. Pitman <<[u.a.]>>.

Chicago Style (17th ed.) Citation

Thistlewaite, Paul B. Automated Theorem Proving in Non-classical Logics. London: Pitman <<[u.a.]>>, 1988.

MLA (9th ed.) Citation

Thistlewaite, Paul B. Automated Theorem Proving in Non-classical Logics. Pitman <<[u.a.]>>, 1988.