Type Theory and Formal Proof

Name: Type Theory and Formal Proof
Brand: Cambridge University Press
SKU: 2311271
Author: The Netherlands) Rob (Technische Universiteit Eindhoven Nederpelt

The Netherlands) Rob (Technische Universiteit Eindhoven Nederpelt, Herman (Radboud Universiteit Nijmegen) Geuvers

Cambridge University Press

Knihu Type Theory and Formal Proof aktuálně nelze zakoupit v žádném z porovnávaných e-shopů...

Krátký popis

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to…

Zobrazit celý popis

Výběr knih vydavatele Cambridge University Press