Type theory and formal proof

Nalezeno 1 produkt
Type Theory and Formal Proof

Type Theory and Formal Proof

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introducti

2 135 Kč
Více informací
Dostupnost: do 7 dnů
CoChceš Rádce
Používáme cookies, abychom mohli provozovat tuto internetovou stránku a zlepšit Vaši uživatelskou spokojenost. Budete-li pokračovat beze změny nastavení, předpokládáme, že souhlasíte s ukládáním souborů cookies z internetových stránek. Více informací o použití cookies.
OK