Cita APA

Gries, D. (1996). First Order Logic And Automated Theorem Proving (Ed.2.). Springer Publications.

Chicago Edition Citation

Gries, David. First Order Logic And Automated Theorem Proving. Ed.2. Springer Publications, 1996.

Cita MLA

Gries, David. First Order Logic And Automated Theorem Proving. Ed.2. Springer Publications, 1996.