Type-Theory-and-Formal-Proof | Rob Nederpelt | AmpleReads Books

Nonfiction | Computer & Technology

Type Theory and Formal Proof

by Rob Nederpelt 2020-03-20 14:50:08

Type Theory and Formal Proof

by Rob Nederpelt 2020-03-20 14:50:08

COMPARE PRICE

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Less

File size
Print pages
Publisher
Publication date
Language
ISBN

10 X 6.81 X 1.1 in
466
Cambridge University Press
November 6, 2014
eng
9781316056349

autor-image

Rob Nederpelt

Author

...

Compare Prices

Store

Availability

Book Format

Book Condition

Price

Hard Cover

In Stock

Hard Cover

new

Buy CAD 81.98

In Stock

new

Buy GBP 41.50

Available Discount

No Discount available

Related Books

Node.js Web Development:

Moodle Gradebook:

MCSA SQL 2016 BI Development Exam Ref 2-pack:

Make:

Privacy and Legal Issues in Cloud Computing:

Practical Monitoring:

Complex Analysis with MATHEMATICA®:

LPIC-1:

Windows 10 Bible:

Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments:

Python Programming for Arduino:

Drones For Dummies:

Rapid Prototyping Software for Avionics Systems:

The Digital Filmmaking Handbook:

Troubleshooting Cisco Nexus Switches and NX-OS:

CompTIA Network+ Study Guide:

Windows Server 2012 R2 Pocket Consultant Volume 2:

Topics at the Frontier of Statistics and Network Analysis:

Abstract Methods in Information Theory:

The Seismic Analysis Code:

Expanding and Networking Microcomputers:

CISM Certified Information Security Manager All-in-One Exam Guide:

Microsoft SharePoint 2013 Step by Step:

(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide:

Network Programmability and Automation: