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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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 405 b Coming soon Coming soon
167.09 €
Reprint Date unknown Date unknown

Up to 30 days for returns

Customers also purchased

Skyfire Academy - Der Herzschlag eines Dämons Jenny Pieper / Book Hardback
common.buy 22.41 €
Stralsund an einem Tag Michael Schulze / Book Paperback
common.buy 6.75 €
Duncross Derek LAUFMAN / Book Hardback
common.buy 23.92 €
LE DESHONNEUR DES SAINTE-CROIX BONNET / Book Paperback
common.buy 14.83 €
EPISTOLARI CALDERS-TISNER GALERA / Book Paperback
common.buy 21.29 €
Flergenerations guidade dagbok foer foeraldrar Amber Richards / Book Paperback
common.buy 11.20 €
Československé správní právo Jiří Hoetzel / Book Hardback
common.buy 54.51 €
Mitarbeiterkontrolle M. Reiner / Book Paperback
common.buy 9.08 €
ledzenie wzroku za pomoc kamery internetowej Szymon Deja / Book Paperback
common.buy 44.42 €

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 70.77 €
Babel Zygmunt Bauman / Book Paperback
common.buy 20.69 €
Pippin (Vocal Score) Stephen Schwartz / Book Paperback
common.buy 111.76 €
New York Cocktails Cider Mill Press / Book Hardback
common.buy 17.86 €
Warfare Season: Emp Apocalyptic Survival Fiction Blaze Eastwood / Book Paperback
common.buy 10.29 €
Comic Classics: Great Expectations Jack Noel / Book Paperback
common.buy 8.37 €
Date With Destiny Carolyn J. Pollack / Book Paperback
common.buy 9.88 €

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?