Número de Cutter-SanbornJ78pEntrada «Jones, M.» → 78 · marca de obra “p”

ProofPower HOL Tutorial

Name: ProofPower HOL Tutorial
ISBN: 9781514276860

Autor	Roger Jones
Editorial	CreateSpace Independent Publishing Platform
Fecha de publicación	2015
Idioma	inglés
Páginas	136
ISBN-13	9781514276860
Número de Cutter	`J78p`

ProofPower HOL Tutorial (2015) — ISBN 9781514276860 | Cutter Number