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: 68.39 GBP
Availability: InStock

Programming

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 35 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £62 (17 days, 48.6%)

Price range: £62 - £68

Price levels: 3 different prices over 35 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)

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)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Logic for Applications (Texts in Computer Science)

Springer Logic, Meaning and Computation - Synthese Library 305

Type Theory and Formal Proof: An Introduction

Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

A Formalization of Set Theory without Variables (Colloquium Publications)

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

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)

Introduction to Mathematical Logic: Extended Edition

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Computation Engineering: Applied Automata Theory and Logic

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Springer - A Short Introduction to Intuitionistic Logic Book

A Bridge to Higher Mathematics (Textbooks in Mathematics)

Logic for Mathematicians

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

A First Course in Mathematical Logic and Set Theory

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

Advanced Topics in Types and Programming Languages

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)

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