Boeken zoals: Type Theory and Formal Proof
Tips voor lezers van Rob Nederpelt
Heb je Type Theory and Formal Proof gelezen? Of ben je fan van de boeken van Rob Nederpelt? Dan vind je hieronder een aantal leestips die ook werden gezocht door lezers van 'Type Theory and Formal Proof'.
Type Theory & Formal Proof
ISBN 9781107036505
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This ...
€ 83.99
Discrete Mathematical Structures
ISBN 9781292024844
Discrete Mathematical Structures, Sixth Edition, offers a clear and concise presentation of the fundamental ...
€ 81.99
Electrochemical Engineering
ISBN 9781119004257
A Comprehensive Reference for Electrochemical Engineering Theory and Application From chemical and ...
€ 189.45
Differential Equations and Their Applications
ISBN 9780387978949
Suitable for undergraduate students, this book provides an introduction to differential equations. Highlights ...
€ 46.99
Elementary Differential Equations and Boundary Value Problems, International Adaptation
ISBN 9781119820512
Boyce’s Elementary Differential Equations and Boundary Value Problems is written from the viewpoint of ...
€ 69.95
Type Theory and Formal Proof
