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

£68.39

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

Name: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Brand: Springer
Price: 64.91 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 30 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £65 (22 days, 73.3%)

Price range: £65 - £68

Price levels: 2 different prices over 30 days

Description

In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9048160790
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 09 December 2010
Listed Since: 01 October 2010

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic for Applications (Texts in Computer Science)

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

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

Introduction to Mathematical Logic: Extended Edition

A First Course in Mathematical Logic and Set Theory

Mathematical Logic: An Introduction (De Gruyter Textbook)

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in 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)

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

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

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

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

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

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

Mathematical Logic for Computer Science

Springer - A Short Introduction to Intuitionistic Logic Book

Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)

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

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

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

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

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse