Número de Cutter-SanbornP745aEntrada «Poer» → 745 · marca de obra “a”

Adapting Proofs-as-Programs

Name: Adapting Proofs-as-Programs
ISBN: 9781441920140

The Curry--Howard Protocol

Autor	Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing
Editorial	Springer
Fecha de publicación	Nov 19, 2010
Páginas	432
Formato	paperback
ISBN-13	9781441920140
ISBN-10	1441920145
Número de Cutter	`P745a`

Adapting Proofs-as-Programs (2010) — ISBN 9781441920140 | Cutter Number