Code: 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 ... more
You get 301 loyalty points
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.
Book category Books in English Mathematics & science Chemistry Physical chemistry
121.60 €
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
Shopping cart ( Empty )