Topological completeness for higher-order logic

C.H.E. Butz, S. Awodey

Research output: Contribution to journal › Article › Academic › peer-review

Keywords

@article{c578a862171243a89fe5092936e7772d,

title = "Topological completeness for higher-order logic",

keywords = "Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "C.H.E. Butz and S. Awodey",

year = "2000",

language = "Undefined/Unknown",

volume = "65",

pages = "1168--1182",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Association for Symbolic Logic",

number = "3",

}