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

£60.17

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

Name: Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Brand: Birkhauser
Price: 60.17 GBP
Availability: InStock

Computer Science

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

£60 today · cheaper than every other day in the last 9 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 144 days • 144 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 144 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £60 (72 days, 50.0%)

Price range: £60 - £65

Price levels: 4 different prices over 144 days

Description

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church's formulation of simple type theory known as Church's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates using Alonzo how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge. For this second edition, more than 400 additions, corrections, and improvements have been made, including a new chapter on inductive sets and types. Topics and features: · Offers the first book-length introduction to simple type theory as a predicate logic · Provides the reader with a logic that is close to mathematical practice · Includes a module system for building libraries of mathematical knowledge · Employs two semantics, one for mathematics and one for logic · Emphasizes the model-theoretic view of predicate logic · Presents several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooks Aimed at students of mathematics and computing at the graduate or upper-undergraduate level, this book is well suited for mathematicians, computing professionals, engineers, and scientists who need a practical logic for expressing and reasoning about mathematical ideas. William M. Farmer is a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada.

Product Specifications

Brand: Birkhauser
Format: hardcover
ASIN: 3031853512
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 24 April 2025
Listed Since: 18 January 2025

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

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

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

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

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

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Springer - A Short Introduction to Intuitionistic Logic Book

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

Logic for Mathematicians

Proof and System-Reliability: v. 62 (NATO Science Series II)

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

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

Logic for Applications (Texts in Computer Science)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

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

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

Logic of Computation: SER F / v.157 (NATO ASI)

A Philosophical Introduction to Higher-order Logics

A Formalization of Set Theory without Variables (Colloquium Publications)

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

Mathematical Logic and Computation