Enlarge

Type theory and formal proof : an introduction

R. P. Nederpelt

Publication Data

Title Type theory and formal proof : an introduction
Author R. P. Nederpelt
Contributor Herman Geuvers
Publisher Cambridge University Press
Publication date 2014
Publication location Cambridge
Language English

Topics

016838318

Catalogue Data

OBNB ID GBB490054
ISBN 10 110703650X
ISBN 13 9781107036505
Type BibliographicResource, Book
Dewey Classification 551.3

ISBD

P1053 xxv, 436 pages
P1042 Includes bibliographical references (pages 411-417) and indexes.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Type theory and formal proof : an introduction by R. P. Nederpelt. ISBN 9781107036505. Published by Cambridge University Press in 2014. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.