
Logicism Renewed
Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
Paul C. Gilmore(Author)
CRC Press
Published on 18. November 2005
250 pages
978-1-040-18806-4 (ISBN)
System requirements
for ePUB without DRM
E-Book Single Licence
You are acquiring a single user licence for this eBook, which you might not transfer. [L]
Available for download
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
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 th
More details
Language
English
Place of publication
Florida
United States
Publishing group
Taylor & Francis Inc
Target group
Academic/professional/technical: Postgraduate. Academic/professional/technical: Research and professional
File size
2,24 MB
ISBN-13
978-1-040-18806-4 (9781040188064)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Paul C. Gilmore
Logicism Renewed
Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
Book
11/2005
1st Edition
A K Peters
€163.42
Article not available at the moment

Paul C. Gilmore
Logicism Renewed
Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
Book
11/2005
1st Edition
A K Peters
€62.50
Shipment within 3-4 weeks
Content
Preface, Chapter 1: Elementary Logic, Chapter 2: Type Theory, Chapter 3: An Intensional Type Theory, Chapter 4: Recursions, Chapter 5: Choice and Function Terms, Chapter 6: Intuitionist Logic, Chapter 7: Logic and Mathematics, Chapter 8: Logic and Computer Science, References, Index
System requirements
File format: ePUB
Copy protection: without DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use a reader that can handle the file format ePUB, such as Adobe Digital Editions or FBReader – both free (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or the app PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (not Kindle).
The file format ePUB works well for novels and non-fiction books – i.e., 'flowing' text without complex layout. On an e-reader or smartphone, line and page breaks automatically adjust to fit the small displays.
This eBook does not use copy protection or Digital Rights Management
For more information, see our eBook Help page.