Topological Completeness for Higher-Order Logic (1997)

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

Document Versions

Topological Completeness for Higher-Order Logic –Steve Awodey, Carsten Butz — 1997 — Journal of Symbolic Logic
Topological Completeness for Higher-Order Logic –S. Awodey, C. Butz — 1998 — Journal of Symbolic Logic
Topological completeness for higher-order logic –S. Awodey, C. Butz — 1997 — Journal of Symbolic Logic