£120.00

CRC Press Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Price data last checked 19 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£120 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 72 days • 72 data points (No recent data available)

Historical
Generating forecast...
£120.00 £114.00 £116.40 £118.80 £121.20 £123.60 £126.00 22 February 2026 11 March 2026 29 March 2026 16 April 2026 04 May 2026

Price Distribution

Price distribution over 72 days • 1 price levels

Days at Price
72 days 0 18 36 54 72 £120 Days at Price

Price Analysis

Most common price: £120 (72 days, 100.0%)

Price range: £120 - £120

Price levels: 1 different prices over 72 days

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 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.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
18 November 2005
Listed Since
13 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Classical Mathematical Logic – The Semantic Foundations of Logic
96% match

Classical Mathematical Logic – The Semantic Foundations of Logic

Princeton University Press

£52.06 07 May 2026
Mathematical Logic and Computation
96% match

Mathematical Logic and Computation

£55.89 13 Jan 2026
Logic and Structure (Universitext)
96% match

Logic and Structure (Universitext)

Springer

£48.08 14 Apr 2026
Topics in Modern Logic: 14 (Routledge Library Editions: Logic)
96% match

Topics in Modern Logic: 14 (Routledge Library Editions: Logic)

Routledge

£96.76 09 Mar 2026
Routledge Origins and Varieties of Logicism - Philosophy Book
96% match

Routledge Origins and Varieties of Logicism - Philosophy Book

Routledge

£137.61 20 Apr 2026
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
96% match

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Cambridge University Press

£118.40 23 Feb 2026
Exploring Topics in the History and Philosophy of Logic: 67 (Philosophische Analyse / Philosophical Analysis, 67)
96% match

Exploring Topics in the History and Philosophy of Logic: 67 (Philosophische Analyse / Philosophical Analysis, 67)

De Gruyter

£97.99 06 May 2026
Alte und Neue Logik: Vorlesung 1908/09: 6 (Husserliana: Edmund Husserl – Materialien, 6)
96% match

Alte und Neue Logik: Vorlesung 1908/09: 6 (Husserliana: Edmund Husserl – Materialien, 6)

Springer

£130.28 18 Mar 2026
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
96% match

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Springer

£62.33 08 Mar 2026
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
96% match

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Oxford University Press

£162.88 11 Jan 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£157.85 10 Mar 2026
Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16
96% match

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16

Routledge

£89.71 23 Jan 2026
Logic for Computer Science and Artificial Intelligence
96% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.11 13 Apr 2026
Fundamentals of Mathematical Logic
96% match

Fundamentals of Mathematical Logic

CRC Press

£110.00 12 Jan 2026
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
96% match

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

North Holland

£163.49 23 Jan 2026
Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)
96% match

Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)

Routledge

£87.39 05 Apr 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
96% match

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Cambridge University Press

£61.99 22 Feb 2026
Problem of Plurality of Logics, The: Understanding the Dynamic Nature of Philosophical Logic
96% match

Problem of Plurality of Logics, The: Understanding the Dynamic Nature of Philosophical Logic

Bloomsbury Academic

£83.74 25 Feb 2026
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
96% match

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

Cambridge University Press

£85.48 18 Mar 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
96% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

£85.45 08 Jan 2026
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
96% match

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

£94.37 27 Feb 2026
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
96% match

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Cambridge University Press

£83.99 19 Apr 2026
Logic in Computer Science: Modelling and Reasoning about Systems
96% match

Logic in Computer Science: Modelling and Reasoning about Systems

£50.59 11 Jan 2026
Routledge Logic, Form and Grammar - Philosophy Book
96% match

Routledge Logic, Form and Grammar - Philosophy Book

Routledge

£124.92 03 May 2026