Picture 1 of 1
Gallery
Picture 1 of 1

Have one to sell?
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lect
US $80.93
ApproximatelyS$ 105.78
Condition:
3 available
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free Economy Shipping.
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Tue, 25 Nov and Tue, 2 Dec to 94104
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
About this item
Seller assumes all responsibility for this listing.
eBay item number:397267045251
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- ISBN-13
- 9781568812762
- Book Title
- Logicism Renewed
- ISBN
- 9781568812762
About this product
Product Identifiers
Publisher
A + K Peter's, The Limited
ISBN-10
1568812760
ISBN-13
9781568812762
eBay Product ID (ePID)
47767701
Product Key Features
Number of Pages
250 Pages
Language
English
Publication Name
Logicism Renewed : Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
Publication Year
2005
Subject
General, Logic, Set Theory
Type
Textbook
Subject Area
Mathematics
Format
Trade Paperback
Dimensions
Item Height
0.4 in
Item Weight
12 Oz
Item Length
8.9 in
Item Width
5.9 in
Additional Product Features
Intended Audience
College Audience
LCCN
2005-052008
Synopsis
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed , the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author 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 currently provided by category theory.
LC Classification Number
QA9.2.G55 2005
Item description from the seller
Seller feedback (1,076,920)
- n***i (5)- Feedback left by buyer.Past 6 monthsVerified purchaseMy statue was exactly as described, it was un-opened and in perfect condition! Totally wirth the price. Getting it shipped took a little long but the seller was very responsive when I messaged and sent me the tracking as soon as it was available. Plus they did a good job packaging it well enough that despite being banged up on the outside my item was completely undamaged.
- r***b (117)- Feedback left by buyer.Past monthVerified purchaseGraphic novel album was sealed, NM, great value. Seller was great and responsive to communication. Item initially did not arrive despite tracking and me calling USPS, and seller was willing to provide refund to make it right. Ultimately the package showed up days later, which was baffling; seller provided A+ customer service through all of this. Thank You!
- 2***0 (4)- Feedback left by buyer.Past 6 monthsVerified purchaseThe basket is perfectly what I ordered and as listed. It came in the factory packaging and was perfect upon delivery. Thank you postal service lol. The delivery took way longer than listed though, it was listed to come in a week from purchase, but took a whole month. I had some concerns at first, but communication with the company was top notch and they were very professional and answered most of my questions satisfyingly. Just prepare for a longer wait than listed, but I got what I bought lol.

