Opening book details…
About this book
Higher-Order Logic and Type Theory by John L. Bell is a book available to read on EtoBox.
- Author
- John L. Bell
- Published
- 2023
- Language
- EN
More by John L. Bell
Browse all works by John L. Bell
Similar books
- Higher-Order Evidence and Calibrationism — Ru Ye (2022)
- Across Type, Time and Space — Peter Dombrowski & Simon Reich (2022)
- Proofs and Models in Philosophical Logic — Greg Restall (2022)
- Wittgenstein on Logic and Philosophical Method — Oskari Kuusela (2022)
- Proof-Theoretic and Higher-Order Extensions of Logic Programming — Alberto Momigliano; Mario Ornaghi (2010)
- Racial Order, Racialized Responses — EfrŁn O. PŁrez & E. Enya Kuo (2022)