First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

by Melvin Fitting

Paperback

details (USA).
(see also: eBook (Kindle))

details (United Kingdom).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (Canada).
(see also: eBook (Kindle))

ISBN: 978-1-4612-7515-2

ISBN-10: 1-4612-7515-6

Springer · 2013