A categorical version of the Brouwer-Heyting-Kolmogorov interpretation (2002)

Cached

Download Links

by Erik Palmgren
Citations:2 - 0 self