Logic; Philosophy; Epistemology; Mathematical Logi

Information and Knowledge: A Constructive Type-theoretical Approach

2008 · ENGLISH · PDF

View details →