Kód: 01980222
Opening with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, this exploration of the relationship between logic and knowledge re-affirms the key role that the notion of judgement must pl ... celý popis
Nákupem získáte 287 bodů
Opening with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, this exploration of the relationship between logic and knowledge re-affirms the key role that the notion of judgement must play in such a review.
Zařazení knihy Knihy v angličtině Mathematics & science Chemistry Physical chemistry
2866 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Nákupní košík ( prázdný )