DaftarIsitemplate

Call Number

511.3 Gal l

Title

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

Author

Gallier, Jean H.;

Publisher

Cambridge, Harper & Row, 1986

Subject

Authomatic theorem proving; Logic, Symbolic and mathematical

Location

FASILKOM-UI;