Mín bókahill
An Introduction to Mathematical Logic and Type Theory

Ebók

An Introduction to Mathematical Logic and Type Theory

To Truth Through Proof

Peter B. Andrews

Springer Nature

Prísur

679,95 kr.

Vørulýsing av

An Introduction to Mathematical Logic and Type Theory

Nágreining