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€

Logicism Renewed

Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Language EnglishEnglish
Book Hardback
Book Logicism Renewed Paul C. Gilmore
Libristo code: 06703415
Publishers Taylor & Francis Inc, November 2005
Revisits the original concept of logicism in the light of advances in mathematical logic. Using Inte... Full description
? points 443 b Coming soon Coming soon
181.99 €
355.93  лв
Reprint Date unknown Date unknown
Please enter your email and we will get back to you when the book is available again.

Up to 30 days for returns

Customers also purchased

Flergenerations guidade dagbok foer foeraldrar Amber Richards / Book Paperback
common.buy 11.15 € 21.82 лв
Skyfire Academy - Der Herzschlag eines Dämons Jenny Pieper / Book Hardback
common.buy 23.60 € 46.16 лв
Duncross Derek LAUFMAN / Book Hardback
common.buy 23.65 € 46.26 лв
invenzione del bene e del male Hanno Sauer / Book Paperback
common.buy 27.82 € 54.40 лв
LE DESHONNEUR DES SAINTE-CROIX BONNET / Book Paperback
common.buy 14.24 € 27.85 лв
EPISTOLARI CALDERS-TISNER GALERA / Book Paperback
common.buy 22.06 € 43.14 лв
Stralsund an einem Tag Michael Schulze / Book Paperback
common.buy 7.09 € 13.87 лв
Top
Československé správní právo Jiří Hoetzel / Book Hardback
common.buy 61.19 € 119.68 лв
Mitarbeiterkontrolle M. Reiner / Book Paperback
common.buy 9.62 € 18.81 лв
ledzenie wzroku za pomoc kamery internetowej Szymon Deja / Book Paperback
common.buy 186.61 € 364.99 лв

Revisits the original concept of logicism in the light of advances in mathematical logic. Using Intensional Type Theory (ITT), this book provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that provided by category 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 Logicism Renewed
Author Paul C. Gilmore
Language English
Binding Book - Hardback
Date of issue 2005
Number of pages 250
EAN 9781568812755
ISBN 9781568812755
Libristo code 06703415
Publishers Taylor & Francis Inc
Weight 499
Dimensions 152 x 229

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical 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

Equity Valuation and Portfolio Management Frank J Fabozzi / Book Hardback
common.buy 72.45 € 141.70 лв
Babel Zygmunt Bauman / Book Paperback
common.buy 22.00 € 43.04 лв
Pippin (Vocal Score) Stephen Schwartz / Book Paperback
common.buy 114.88 € 224.68 лв
New York Cocktails Cider Mill Press / Book Hardback
common.buy 18.35 € 35.90 лв
Warfare Season: Emp Apocalyptic Survival Fiction Blaze Eastwood / Book Paperback
common.buy 10.28 € 20.11 лв
Coming soon
Comic Classics: Great Expectations Jack Noel / Book Paperback
common.buy 9.20 € 17.99 лв
Date With Destiny Carolyn J. Pollack / Book Paperback
common.buy 9.87 € 19.30 лв

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?