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

Logic for Computer Science

Name: Logic for Computer Science
ISBN: 9780471603283

Foundations of Automatic Theorem-Proving

Autor	Jean H. Gallier
Editorial	Wiley & Sons, Incorporated, John
Fecha de publicación	1985
Idioma	inglés
ISBN-13	9780471603283
Número de Cutter	`G168l`

Logic for Computer Science (1985) — ISBN 9780471603283 | Cutter Number