Skip to content
Vinony

First-order logic and automated theorem proving

by Melvin Fitting · 1990

Cover of First-order logic and automated theorem proving

No description available.

Automatic theorem provingLogic, Symbolic and mathematicalSymbolic and mathematical Logic