Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)

by Jean H. Gallier Paperback details (USA). (see also: eBook (Kindle)) details (UK). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-0-486-78082-5 ISBN-10: 0-486-78082-1 Dover Publications · 2015