Constructive Natural Deduction And Its "omega-Set" Interpretation (1990)

Cached

Download Links

by Giuseppe Longo , Eugenio Moggi
Citations:2 - 1 self