Type Theory and Formal Proof
Subtitle: An Introduction
Publisher: Cambridge University Press
Published: 2014
Language: eng
Number of pages: 466
ISBN-13: 9781107036505
Subjects: Logic, symbolic and mathematical