Type Theory and Formal Proof: An Introduction

Type: Physical Book

Information: 1

Release Date: 2014-08-29

ISBN 10: 110703650X

ISBN 13: 9781107036505

Readers: 3

Country: United States of America