Logicism Renewed: Logical Foundations for Mathematics And Computer Science, Lecture Notes in Logic, 23

0 avg rating
( 0 ratings by Goodreads )
 
9781568812762: Logicism Renewed: Logical Foundations for Mathematics And Computer Science, Lecture Notes in Logic, 23

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.

"synopsis" may belong to another edition of this title.

About the Author:

Paul Gilmore is professor emeritus in the Computer Science department at the University of British Columbia. His research interests include Logical Foundations of Mathematics and Computer Science, Applications of Logic in Computer Science, and Databases.

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 47.95
US$ 40.56

Convert Currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Paul C. Gilmore
Published by Taylor Francis Inc, United States (2005)
ISBN 10: 1568812760 ISBN 13: 9781568812762
New Paperback Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Taylor Francis Inc, United States, 2005. Paperback. Book Condition: New. New.. Language: English . Brand New Book. 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. Bookseller Inventory # AA69781568812762

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 40.56
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Paul C. Gilmore
Published by Taylor Francis Inc, United States (2005)
ISBN 10: 1568812760 ISBN 13: 9781568812762
New Paperback Quantity Available: 1
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Taylor Francis Inc, United States, 2005. Paperback. Book Condition: New. New.. Language: English . Brand New Book. 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. Bookseller Inventory # AA69781568812762

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 46.40
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Gilmore, Paul C.
ISBN 10: 1568812760 ISBN 13: 9781568812762
New Quantity Available: 4
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description 2005. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Bookseller Inventory # VT-9781568812762

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 42.42
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

4.

Paul C. Gilmore
Published by A K Peters/CRC Press
ISBN 10: 1568812760 ISBN 13: 9781568812762
New Paperback Quantity Available: 1
Seller:
THE SAINT BOOKSTORE
(Southport, United Kingdom)
Rating
[?]

Book Description A K Peters/CRC Press. Paperback. Book Condition: New. New copy - Usually dispatched within 2 working days. Bookseller Inventory # B9781568812762

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 38.96
Convert Currency

Add to Basket

Shipping: US$ 9.16
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Paul C. Gilmore
Published by A K Peters/CRC Press (2005)
ISBN 10: 1568812760 ISBN 13: 9781568812762
New Quantity Available: 6
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description A K Peters/CRC Press, 2005. PAP. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # FT-9781568812762

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 36.76
Convert Currency

Add to Basket

Shipping: US$ 11.89
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Paul C. Gilmore
Published by Taylor and Francis 2005-11-18 (2005)
ISBN 10: 1568812760 ISBN 13: 9781568812762
New paperback Quantity Available: 1
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Taylor and Francis 2005-11-18, 2005. paperback. Book Condition: New. Bookseller Inventory # 9781568812762

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 41.61
Convert Currency

Add to Basket

Shipping: US$ 7.92
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Paul C. Gilmore
Published by A K Peters/CRC Press (2005)
ISBN 10: 1568812760 ISBN 13: 9781568812762
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description A K Peters/CRC Press, 2005. Paperback. Book Condition: New. Bookseller Inventory # DADAX1568812760

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 47.92
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

8.

Paul C. Gilmore
Published by A K Peters/CRC Press (2005)
ISBN 10: 1568812760 ISBN 13: 9781568812762
New Paperback First Edition Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description A K Peters/CRC Press, 2005. Paperback. Book Condition: New. book. Bookseller Inventory # M1568812760

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 54.06
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

9.

GILMORE , PAUL C.
Published by A K Peters/CRC Press (2005)
ISBN 10: 1568812760 ISBN 13: 9781568812762
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description A K Peters/CRC Press, 2005. Paperback. Book Condition: NEW. 9781568812762 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0189074

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 46.20
Convert Currency

Add to Basket

Shipping: US$ 10.55
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Paul C. Gilmore
Published by Taylor Francis Inc, United States (2005)
ISBN 10: 1568812760 ISBN 13: 9781568812762
New Paperback Quantity Available: 1
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Taylor Francis Inc, United States, 2005. Paperback. Book Condition: New. New.. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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. Bookseller Inventory # BTE9781568812762

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 57.95
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book