Proof and Computation II
Regular price
$155.02 USD
Regular price
$172.25 USD
Sale price
$155.02 USD
Unit price
per
You save $17.23 USD (10%)
In stock — Ships within 1–2 business days
Format
Print Book
Currently viewing
Hardcover
$155.02 USD
$172.25 USD
Secure CheckoutYour data is protected
Fast U.S. ShippingShips within 1–2 business days
Authentic Titles100% Genuine Books
Book Overview This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philos...
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.
Book Details Format: Hardcover | Pages: 424 | Language: English | Publisher: WORLD SCIENTIFIC PUB CO INC | ISBN: 981123647X
FormatHardcover
Pages424
LanguageEnglish
ISBN981123647X
EAN9789811236471
PublisherWORLD SCIENTIFIC PUB CO INC
Publication Date1970-01-01
AccessoriesNo Accessory
ConditionNew
Product TypeHARD COVER BOOKS
Weight1.62 Pounds
Length9.0 Inches
Width6.0 Inches
Height0.94 Inches
Shipping & Returns Fast, reliable shipping and easy returns on eligible items.
Most orders ship within 1–2 business days with fast, reliable U.S. delivery.
Eligible items can be returned within 30 days in line with our store return policy.
Why shop with AlbakiReads
Fresh Inventory from Major Publishers
Sourced through trusted book distributors, with fresh titles added regularly.
Secure Checkout
Your payment information is encrypted and protected every step of the way.
Fast U.S. Shipping
Most orders ship within 1–2 business days.
Books for Every Kind of Reader
From page-turners to timeless classics—find your next favorite read.
