On the b 1 -bit-comprehension rule (2000)

Cached

Download Links

by Jan Johannsen , Chris Pollett
Venue:Logic Colloquium 98
Citations:5 - 0 self