Educated Owl Books

Sell with us!

Type Theory and Formal Proof : An Introduction

Type Theory and Formal Proof : An Introduction

by Rob Nederpelt, Herman Geuvers Hardcover 2014

⭐ 0.0 rating

| 📖 0 saved | ✅ 0 verified

Author: Rob Nederpelt, Herman Geuvers
ISBN 13: 9781107036505
ISBN 10: 110703650X
Publication Year: 2014
Language: English

Specifications

Index-10110703650X

LanguageEnglish

Index-139781107036505

Period-

Class Track-

Publisher- (2014)

Pages-