Topological Completeness for Higher-Order Logic (1997)

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