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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 425 b Coming soon Coming soon
62 071 Ft
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 8 685 Ft
Stralsund an einem Tag Michael Schulze / Book Paperback
common.buy 2 582 Ft
Duncross Derek LAUFMAN / Book Hardback
common.buy 8 477 Ft
LE DESHONNEUR DES SAINTE-CROIX BONNET / Book Paperback
common.buy 5 270 Ft
EPISTOLARI CALDERS-TISNER GALERA / Book Paperback
common.buy 7 529 Ft
Flergenerations guidade dagbok foer foeraldrar Amber Richards / Book Paperback
common.buy 4 289 Ft
Československé správní právo Jiří Hoetzel / Book Hardback
common.buy 19 293 Ft
Mitarbeiterkontrolle M. Reiner / Book Paperback
common.buy 3 530 Ft
ledzenie wzroku za pomoc kamery internetowej Szymon Deja / Book Paperback
common.buy 17 194 Ft

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 27 540 Ft
Babel Zygmunt Bauman / Book Paperback
common.buy 7 529 Ft
Pippin (Vocal Score) Stephen Schwartz / Book Paperback
common.buy 39 534 Ft
New York Cocktails Cider Mill Press / Book Hardback
common.buy 6 977 Ft
Warfare Season: Emp Apocalyptic Survival Fiction Blaze Eastwood / Book Paperback
common.buy 3 940 Ft
Coming soon
Comic Classics: Great Expectations Jack Noel / Book Paperback
common.buy 3 281 Ft
Date With Destiny Carolyn J. Pollack / Book Paperback
common.buy 3 778 Ft

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