Logicism Renewed

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

By: Paul C. Gilmore

Write A Review

Paperback | 18 November 2005 | Edition Number 1

At a Glance

Paperback
254 Pages

Dimensions(cm)
22.86 x 15.24 x 1.35

Paperback

RRP $109.99

$96.75

12%OFF

or 4 interest-free payments of $24.19 with

or

Ships in 3 to 5 business days

The original concept of logicism, as put forward by Bertrand Russell, the belief that all of mathematics can be deduced from a very small number of fundamental logical principles, is revisited in the light of advances in mathematical logic and the need for languages that can be understood by both humans and computers which 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. Paul Gilmore is professor emeritus in the Computer Science department at the University of British Columbia.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.