Número de Cutter-SanbornN371tEntrada «Ned» → 371 · marca de obra “t”

Type Theory and Formal Proof

Name: Type Theory and Formal Proof
ISBN: 9781139567725

An Introduction

Autor	Rob Nederpelt, Herman Geuvers
Editorial	Cambridge University Press
Fecha de publicación	2014
Idioma	inglés
ISBN-13	9781139567725
Número de Cutter	`N371t`

Type Theory and Formal Proof (2014) — ISBN 9781139567725 | Cutter Number