Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Higher-Order Logic and Type Theory

Language EnglishEnglish
Book Paperback
Book Higher-Order Logic and Type Theory John L. Bell
Libristo code: 38621442
Publishers Cambridge University Press, March 2022
The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type...
? points 64 b
26.20 €
51.25  лв
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Type Theory and Formal Proof Rob Nederpelt / Book Hardback
common.buy 99.42 € 194.44 лв
Simple Type Theory William Farmer / Book Hardback
common.buy 84.87 € 165.98 лв
Top
Dive Into Systems Suzanne J. Matthews / Book Paperback
common.buy 58.81 € 115.03 лв
Rozličné poznámky Ludwig Wittgenstein / Book Paperback
common.buy 9.38 € 18.36 лв
Filosofická zkoumání Ludwig Wittgenstein / Book Paperback
common.buy 9.85 € 19.26 лв

The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type theory.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Higher-Order Logic and Type Theory
Author John L. Bell
Language English
Binding Book - Paperback
Date of issue 2022
Number of pages 75
EAN 9781108986908
ISBN 1108986900
Libristo code 38621442
Publishers Cambridge University Press
Weight 142
Dimensions 228 x 152 x 8

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Set theory
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Set Theory Kenneth Kunen / Book Paperback
common.buy 27.13 € 53.07 лв
Foundations of Mathematics Kenneth Kunen / Book Paperback
common.buy 27.80 € 54.38 лв
Set Theory An Introduction To Independence Proofs Kenneth Kunen / Book Hardback
common.buy 76.71 € 150.04 лв
Computable Calculus Oliver Aberth / Book Paperback
common.buy 94.41 € 184.65 лв
Business, Politics and International Relations Clemens WurmPatrick Salmon / Book Paperback
common.buy 53.91 € 105.44 лв
Categorical Logic and Type Theory B. Jacobs / Book Paperback
common.buy 136.87 € 267.70 лв
Completions of Categories Joachim Lambek / Book Paperback
common.buy 27.24 € 53.27 лв
Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone / Book Hardback
common.buy 478.11 € 935.11 лв
Fce teachers book successful. 10 practice test Betsis Andrew / Book Book
common.buy 31.31 € 61.24 лв
Pyrrhus Jacob Abbott / Book Paperback
common.buy 7.63 € 14.92 лв
Light The Fire: A Reverse Harem Fantasy Elizabeth Briggs / Book Paperback
common.buy 10.31 € 20.17 лв
The Bull and Bear Diet Thomas Brandt / Book Paperback
common.buy 14.85 € 29.05 лв
Moreno's dictionary of Spanish-named California cities and towns Henry M. Moreno / Book Paperback
common.buy 17.38 € 34.00 лв
You Look Like a Thing and I Love You Janelle Shane / Book Paperback
common.buy 13.15 € 25.72 лв
Political Journalism in London, 1695-1720 Ashley Marshall / Book Hardback
common.buy 142.13 € 277.99 лв
Inked Jeb Blount / Book Hardback
common.buy 22.33 € 43.68 лв
Mastering UI Development with Unity Dr. Ashley Godbold / Book Paperback
common.buy 42.92 € 83.95 лв
Blood of Emmett Till Timothy B. Tyson / Book Paperback
common.buy 15.01 € 29.35 лв
End of the End LEIF KROGSTAD / Book Paperback
common.buy 16.04 € 31.37 лв
Benefits of and challenges to energy access in the 21st century: electricity United States Congress / Book Paperback
common.buy 21.97 € 42.98 лв
Chad's Playbook to Effective Fathering: Encouraging dads to change lives Chad D Bumgarner / Book Paperback
common.buy 17.49 € 34.20 лв
Blazed Trail Stories, and Stories of the Wild Life Stewart Edward White / Book Paperback
common.buy 7.63 € 14.92 лв
Distribution and Abundance of Nonnative Plant Species at Johnstown Flood National Memorial and Allegheny Portage Railroad National Historic Site Ephraim Zimmerman / Book Paperback
common.buy 18.36 € 35.91 лв
My Poetry Pallete Volume 2: My Reflections Rizwan Majid Sandhu / Book Paperback
common.buy 8.51 € 16.64 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?