16 results on '"Awodey, S."'
Search Results
2. Topological Completeness for Higher-Order Logic
3. Lawvere-Tierney Sheaves in Algebraic Set Theory
4. Carnap's Dream: Gödel, Wittgenstein, and "Logical Syntax"
5. Carnap, Completeness, and Categoricity: The "Gabelbarkeitssatz" of 1928
6. Carnap, Completeness, And Categoricity:The Gabelbarkeitssatz OF 1928
7. Carnap versus Gödel on Syntax and Tolerance
8. Topological Completeness of First-Order Modal Logic
9. Structuralism, Invariance, and Univalence
10. Carnap’s dream: Gödel, Wittgenstein, and Logical, Syntax
11. Propositions as [Types]
12. Sheaf representation for topoi
13. Structure in Mathematics and Logic: A Categorical Perspective
14. Globular multicategories with homomorphism types
15. Inductive types in homotopy type theory
16. Lawvere–Tierney sheaves in Algebraic Set Theory
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.