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

£67.04

Springer 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: Springer
Price: 67.04 GBP
Availability: InStock

Programming

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

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

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

Historical

Generating forecast...

Price Distribution

Price distribution over 120 days • 7 price levels

Days at Price

Current Price

Price Analysis

Most common price: £63 (29 days, 24.2%)

Price range: £62 - £72

Price levels: 7 different prices over 120 days

Description

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually 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. 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 Presents the tools needed to build libraries of mathematical knowledge Employs two semantics, one for mathematics and one for logic Emphasizes the model-theoretic view of predicate logic Includes several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooks Aimed at students of computing and mathematics at the graduate or upper-undergraduate level, this book is also 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: Springer
Format: hardcover
ASIN: 3031211111
Category: Books > Subjects > Computing & Internet > Programming
Domain: Amazon UK
Release Date: 02 January 2023
Listed Since: 07 October 2022

Barcode

No barcode data available

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

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

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)

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

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

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

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

A Formalization of Set Theory without Variables (Colloquium Publications)

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

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

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

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

Lectures on the Curry-Howard Isomorphism

A Philosophical Introduction to Higher-order Logics

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

Type Theory and Formal Proof: An Introduction

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

Logic for Mathematicians

Logic with Trees: An Introduction to Symbolic Logic

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Logic with Trees: An Introduction to Symbolic Logic

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

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

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