Trending Bestseller

Proofs, Categories and Computations. Essays in Honor of Grigori Mints

Solomon Feferman

No reviews yet Write a Review
Paperback / softback
29 July 2010
$42.00
Ships in 3-5 business days
Hurry up! Current stock:
Grigori Mints is one the most distinguished proof theorists ofour time. He has contributed significantly not only to thesubject in general but also to most of its applications.This collection of papers by a number of Mints' colleaguesworldwide are both a personal tribute and a testimony to hisbreadth and importance by dealing with all areas in whichMints has worked: from proof-theoretical reductions throughnon-classical logics and category theory to automatedtheorem proving and proof mining, i.e., the extraction ofmathematical information from formal proofs.The collection itself is significant for another reason: it bridgesthe two logical worlds in which Mints has worked, the world ofthe former Soviet Union and that of the West.

This product hasn't received any reviews yet. Be the first to review this product!

$42.00
Ships in 3-5 business days
Hurry up! Current stock:

Proofs, Categories and Computations. Essays in Honor of Grigori Mints

$42.00

Description

Grigori Mints is one the most distinguished proof theorists ofour time. He has contributed significantly not only to thesubject in general but also to most of its applications.This collection of papers by a number of Mints' colleaguesworldwide are both a personal tribute and a testimony to hisbreadth and importance by dealing with all areas in whichMints has worked: from proof-theoretical reductions throughnon-classical logics and category theory to automatedtheorem proving and proof mining, i.e., the extraction ofmathematical information from formal proofs.The collection itself is significant for another reason: it bridgesthe two logical worlds in which Mints has worked, the world ofthe former Soviet Union and that of the West.

Customers Also Viewed

Buy Books Online at BookLoop

Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,

Shop Trending Books and New Releases

Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.

Shop Best Books By Collection

Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.