Logic, Induction and Sets: 56 (London Mathematical Society Student Texts, Series Number 56) - Image 1

£93.49

Cambridge University Press Logic, Induction and Sets: 56 (London Mathematical Society Student Texts, Series Number 56)

Name: Logic, Induction and Sets: 56 (London Mathematical Society Student Texts, Series Number 56)
Brand: Cambridge University Press
Price: 95.0 GBP
Availability: InStock

Combinatorics & Graph Theory

Price History & Forecast

Last 90 days • 90 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £93 (51 days, 56.7%)

Price range: £92 - £95

Price levels: 5 different prices over 90 days

Description

This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises. Little previous knowledge of logic is required of the reader, and only a background of standard undergraduate mathematics is assumed.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 0521826217
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Combinatorics & Graph Theory
Domain: Amazon UK
Release Date: 21 July 2003
Listed Since: 27 December 2006

Barcode

No barcode data available

Cambridge University Press Logic, Induction and Sets: 56 (London Mathematical Society Student Texts, Series Number 56)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Discrete Mathematics for Computer Science

Logic and Philosophy: A Modern Introduction

Logic: An Introduction (Fundamentals of Philosophy)

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

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

An Introduction to Substructural Logics

Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)

Logic for Computer Science and Artificial Intelligence

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

Logic Colloquium '03: Lecture Notes in Logic 24

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Logic: An Introduction (Fundamentals of Philosophy)

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

Introduction to Bisimulation and Coinduction

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

An Introduction to Probability and Inductive Logic

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Proof Analysis: A Contribution to Hilbert's Last Problem

Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings: 543 (Lecture Notes in Computer Science, 543)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)