Logicism Renewed
Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
Published on 18. November 2005
250 pages
978-1-040-18806-4 (ISBN)
Description
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
