The following pages link to A refined interpretation of intuitionistic logic by means of atomic polymorphism (Q2186692):
Displaying 2 items.