Type Theory and Formal Proof - An Introduction - Rob (Technische Universiteit Eindhoven Nederpelt
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 researchers.
Tales.dk
DKK 884.95
Type Theory and Formal Proof - An Introduction - Bog af Rob (Technische Universiteit Eindhoven Nederpelt - Hardback
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 researchers.
Bogreolen.dk
DKK 885.95