Logic for computer science : foundations of automatic theorem proving /

Gallier, Jean H.

Logic for computer science : foundations of automatic theorem proving / Gallier, Jean H.

511.3 G135L