Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition

by Jean Gallier

Part of the Dover Books on Computer Science Series

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition Synopsis

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition by Jean Gallier

Book Information

ISBN: 9780486780825
Publication date: 18th June 2015
Author: Jean Gallier
Publisher: Dover Publications Inc.
Format: Paperback
Pagination: 544 pages
Categories: Mathematical logic, Maths for computer scientists,

About Jean Gallier

More About Jean Gallier

Share this book