Linear Läuchli semantics (1996)

by R. F. Blute , P. J. Scott
Venue:ANNALS PURE APPL. LOGIC
Citations:19 - 7 self