Topological Completeness for Higher-Order Logic (1997)

View PDF

Download Links

by Steve Awodey , Carsten Butz
Venue:Journal of Symbolic Logic
Citations:10 - 5 self