£84.96

A Formalization of Set Theory without Variables (Colloquium Publications)

Mathematics

Price data last checked 153 day(s) ago - refreshing...

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£85 today · usual range £0–£0 · best ever £67

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 578 days • 578 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 578 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £67-72 (204 days, 35.3%)

Price range: £67 - £94

Price levels: 5 price ranges over 578 days

Description

Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications. The authors show that set theory and number theory can be developed within the framework of a new, different, and simple equational formalism, closely related to the formalism of the theory of relation algebras. There are no variables, quantifiers, or sentential connectives.Predicates are constructed from two atomic binary predicates (which denote the relations of identity and set-theoretic membership) by repeated applications of four operators that are analogues of the well-known operations of relative product, conversion, Boolean addition, and complementation. All mathematical statements are expressed as equations between predicates. There are ten logical axiom schemata and just one rule of inference: the one of replacing equals by equals, familiar from high school algebra. Though such a simple formalism may appear limited in its powers of expression and proof, this book proves quite the opposite. The authors show that it provides a framework for the formalization of practically all known systems of set theory, and hence for the development of all classical mathematics.This book contains numerous applications of the main results to diverse areas of foundational research: propositional logic; semantics; first-order logics with finitely many variables; definability and axiomatizability questions in set theory, Peano arithmetic, and real number theory; representation and decision problems in the theory of relation algebras; and, decision problems in equational logic.

Product Specifications

Format: paperback
ASIN: 0821810413
Category: Books > Subjects > Science, Nature & Maths > Mathematics
Domain: Amazon UK
Release Date: 15 December 1987
Listed Since: 22 January 2007

Barcode

No barcode data available

A Formalization of Set Theory without Variables (Colloquium Publications)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Introduction to Mathematical Logic: Extended Edition

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

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

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)

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

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

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

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

A First Course in Mathematical Logic and Set Theory

Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)