Número de Cutter-SanbornG168lEntrada «Galli» → 168 · marca de obra “l”

Logic for Computer Science

Name: Logic for Computer Science
ISBN: 9780486805085

Foundations of Automatic Theorem Proving, Second Edition

Autor	Jean H. Gallier
Editorial	Dover Publications, Incorporated
Fecha de publicación	2015
Idioma	inglés
ISBN-13	9780486805085
Número de Cutter	`G168l`

Logic for Computer Science (2015) — ISBN 9780486805085 | Cutter Number