Systems of explicit mathematics with non-constructive µ-operator and join (1996)

Cached

Download Links

by Thomas Glaß , Thomas Strahm
Venue:ANNALS OF PURE AND APPLIED LOGIC
Citations:2 - 2 self