Topological Completeness for Higher-Order Logic (1997)

by Steve Awodey , Carsten Butz
Venue:Journal of Symbolic Logic
Citations:8 - 3 self