Higher-Order Logic and Type Theory

Main
Higher-Order Logic and Type Theory

Higher-Order Logic and Type Theory

John L. Bell

0 / 0

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

Published online by Cambridge University Press

Ano:

2023

Idioma:

english

Arquivo:

PDF, 2.03 MB

IPFS:

,

english, 2023

Ler online

A converter para

Conversão para falhou

Você pode estar interessado em

Shapiro, Stewart; — The Oxford Handbook of Philosophy of Mathematics and Logic

Stewart Shapiro & Teresa Kouri Kissel — CLASSICAL FIRST-ORDER LOGIC

Geoffrey Hellman & Stewart Shapiro — Mathematical Structuralism

Black M — The nature of mathematics. A critical survey

Kneebone, G. T. — Mathematical Logic and The Foundations of Mathematics

（英）乔恩·威廉姆森（JonWilliamson），（意）费德丽卡·拉索（FedericaRusso）著；郝兆宽，单芃舒注 — 逻辑学核心术语

Stewart Shapiro — Foundations without Foundationalism: A Case for Second-Order Logic

Stewart Shapiro — The Oxford Handbook of Philosophy of Mathematics and Logic

Laura Crosilla, Peter Schuster — From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

David Corfield — Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

G T Kneebone — Mathematical logic and the foundations of mathematics

Jacquette D. — Philosophy of Logic

Gabbay, Dov M.(Author) — Handbook of the History of Logic, Volume 5 : Logic from Russell to Church

Paul Benacerraf, Hilary Putnam — Philosophy of mathematics: selected readings

Paul Benacerraf, Hilary Putnam — Philosophy of Mathematics: Selected Readings

Jean van Heijenoort (eds.) — From Frege to Goedel: A source book in mathematical logic, 1879-1931

Ivor Grattan-Guinness — The Search for Mathematical Roots, 1870-1940

John L. Bell — Higher-Order Logic and Type Theory

Stewart Shapiro, Teresa Kouri Kissel — Classical First-Order Logic

Peter Apostoli (auth.), C. Anthony Anderson, Michael Zelëny (eds.) — Logic, Meaning and Computation: Essays in Memory of Alonzo Church

John Taylor, Rowan Garnier — Understanding mathematical proof

Godehard Link — Formalism and Beyond

Godehard Link (editor) — Formalism and Beyond: On the Nature of Mathematical Discourse

Jon Williamson, Federica Russo — Key Terms in Logic

Stefania Centrone, Deborah Kant, Deniz Sarikaya — Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts

Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo — Objects, Structures, and Logics: FilMat Studies in the Philosophy of Mathematics

Jean-Yves Béziau, Jean-Pierre Desclés, Amirouche Moktefi, Anca Christine Pascu — Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019)

Godehard Link (Editor) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy

Godehard Link (Editor) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy

Geoffrey Hellman* (auth.), Giovanni Sommaruga (eds.) — Foundational Theories of Classical and Constructive Mathematics

Agazzi E. — Modern logic - a survey: Historical, philosophical and mathematical aspects of modern logic and its applications