Higher-Order Logic and Type Theory
Higher-Order Logic and Type Theory
by John L. Bell
$27.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9781108986908
1
Details
- Format
- Paperback
- ISBN-13
- 9781108986908
- Publisher
- Cambridge University Press
- Published
- March 31, 2022
- Pages
- 88
- Weight
- 4.5 oz
- Subject
- Philosophy
More by John L. Bell
All books
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
John L. Bell
$139.99
Intuitionistic Set Theory
Intuitionistic Set Theory
John L. Bell
$20.99
The Axiom of Choice
The Axiom of Choice
John L. Bell
$32.99
A Primer of Infinistesimal Analysis
A Primer of Infinistesimal Analysis
John L. Bell
$101.99
Logical Options: An Introduction to Classical and Alternative Logics
Logical Options: An Introduction to Classical and Alternative Logics
John L. Bell
$81.99
Popular in Philosophy
Browse Philosophy
Everything You Need to Know: How Philosophy Can Set You Free
Matthew Stewart
$25.99
The Liberalism of Fear
Judith Nisse Shklar
$12.99
The Republic of Plato
Allan Bloom
$28.99
Why Is There Something Rather Than Nothing?: A History of Philosophy in 23 Questions
Leszek Kolakowski
$14.99
Philosophy of Taylor Swift
Lindsay Brainard
$170.99
Hegel's Philosophy of Nature
Marina F. Bykova
$38.99
Outraged: Why We Fight about Morality and Politics and How to Find Common Ground
Kurt Gray
$16.99
Antigone: The 10th Anniversary Edition
Slavoj Zizek
$12.99
The Sense of Sight
John Berger
$17.99
Sex Beyond Yes: Pleasure and Agency for Everyone
Quill R. Kukla
$12.99
An Injury to All: The Unmaking of the British Working Class
Ewan Gibbs
$27.99
The Philosophy Book
Dk
$17.99