Intuitionistic Choice and Restricted Classical Logic (2000)

Cached

Download Links

by Ulrich Kohlenbach
Citations:7 - 1 self