Constructive Natural Deduction And Its "omega-Set" Interpretation (1990)
by
Giuseppe Longo
,
Eugenio Moggi
| Citations: | 2 - 1 self |
Document Versions
| Constructive Natural Deduction And Its "omega-Set" Interpretation –Giuseppe Longo, Eugenio Moggi — 1990 |
