Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification - Image 1

£74.87

World Scientific Publishing Company Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Name: Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Brand: World Scientific Publishing Company
Price: 74.87 GBP
Availability: InStock

Mathematical Logic

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

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£75 today · all-time low £73 (Mar 2026) · usually the usual

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

Historical

Generating forecast...

Price Distribution

Price distribution over 49 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £73 (24 days, 49.0%)

Price range: £73 - £77

Price levels: 3 different prices over 49 days

Description

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields. About the Author Klaus Mainzer is Emeritus of Excellence at the Technical University of Munich (TUM). After studies of mathematics, physics, and philosophy at the University of Münster, he was professor for the foundations and history of exact sciences and vice-president at the University of Constance, professor for philosophy of science and director of the institute of interdisciplinary informatics at the University of Augsburg, and professor for philosophy of science, director of the Carl von Linde Academy and founding director of the Munich Center for Technology in Society (MCTS) at TUM. His principal research interests are about constructive and computational foundations of mathematics, science, and philosophy with a special focus on AItechnology and its societal impact. Peter Schuster is Professor for Mathematical Logic at the University of Verona. After both doctorate and habilitation in mathematics he was Privatdozent at the University of Munich, and Lecturer at the University of Leeds. Apart from constructive mathematics at large, his principal research interests are about Hilbert's programme in abstract mathematics, especially the computational content of classical proofs in algebra and related fields in which transfinite methods such as Zorn's Lemma are invoked. Helmut Schwichtenberg is an Emeritus Professor of Mathematics at Ludwig-Maximilians-Universität München. After both doctorate and habilitation at the Institut für Mathematische Logik der Fakultät für Mathematik, Universität Münster he was Wissenschaftlicher Rat und Professor at Universität Heidelberg, before becoming Professor (Ordinarius) at Ludwig-Maximilians-Universität München. His principal research interests are proof theory, lambda calculus, recursion theory, and applications of logic to computer science.

Product Specifications

Brand: World Scientific Publishing Company
Format: hardcover
ASIN: 981123647X
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 27 August 2021
Listed Since: 27 February 2021

Barcode

No barcode data available

World Scientific Publishing Company Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

About as cheap as it gets. The only time it was cheaper was 3 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory: 53 (Trends in Logic, 53)

Springer Well-Quasi Orders in Computation, Logic and Reasoning

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

Proof Technology in Mathematics Research and Teaching: 14 (Mathematics Education in the Digital Era, 14)

Springer - Proof Technology in Mathematics Research and Teaching

A Bridge to Higher Mathematics (Textbooks in Mathematics)

Proof Techniques: The All in One Textbook (Haneul Choi Mathematics Textbooks)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

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

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

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

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

Proofs and Computations (Perspectives in Logic)

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

Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland

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

How to Prove It: A Structured Approach

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

An Introduction to Mathematical Proofs (Textbooks in Mathematics)

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

S. Leśniewski’s Lecture Notes in Logic: 24 (Nijhoff International Philosophy Series, 24)

Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

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

Combinators, λ-Terms and Proof Theory: 42 (Synthese Library, 42)