[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

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 63 b
26.75 € včetně DPH
Low in stock at our supplier Shipping in 3-5 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

TOP
Women Who Run with the Wolves Clarissa Pinkola Estés / Paperback
common.buy 9.09 €
TOP
Crafting Interpreters / Paperback
common.buy 54.80 €
TOP
Mit o normalnom Gabor Maté / Paperback
common.buy 22.58 €
TOP
Ikigami: The Ultimate Limit, Vol. 8 Motoro Mase / Paperback
common.buy 12.41 €
To Mock a Mockingbird: and Other Logic Puzzles Raymond Smullyan / Paperback
common.buy 16.05 €
Spiritual Depression Martyn Lloyd Jones / Paperback
common.buy 11.23 €
Bunny Tales Izabella St James / Paperback
common.buy 22.36 €
Love, Pamela / Paperback
common.buy 14.33 €
You Look Like a Thing and I Love You / Paperback
common.buy 14.23 €
Fce teachers book successful. 10 practice test Betsis Andrew / Book
common.buy 32.10 €
Comprensión auditiva A1-A2 / Paperback
common.buy 33.28 €
3D Tennis 2 in 1 Taktikboard und Trainingsbuch Theo Von Taane / Paperback
common.buy 5.30 €
Coatings Formulation Bodo Müller / Hardback
common.buy 231.20 €
LLL Algorithm Phong Q. Nguyen / Hardback
common.buy 264.28 €
Completions of Categories Joachim Lambek / Paperback
common.buy 49.98 €
Categorical Logic and Type Theory B. Jacobs / Paperback
common.buy 161.30 €

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

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

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