ISBN-13: 9789400751361 / Angielski / Twarda / 2012 / 162 str.
ISBN-13: 9789400751361 / Angielski / Twarda / 2012 / 162 str.
Opening with the insights of Swedish philosopher Per Martin-Lof, 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.