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.
Proofs, Categories and Computations. Essays in Honor of Grigori Mints
RRP:
$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.
I like things neat, so shoot me. Or poison me. Or run me through with a broadsword. Doesn't matter how you try to end me, werewolves are immortal. Back to liking things neat... I've been killing...
Numbers that heal, Grigori Grabovoi official methodThis is the most complete official and updated method for Grabovoi Sequences or Numbersto improve and restore health, plus what you wantboth...
Numeri che Guariscono, Grigori GrabovoiQuesto è il metodo ufficiale e aggiornato più completo per Sequenze o Numeri Grabovoiper migliorare e ripristinare la salute, oltre a ciò che desiderisia...
Sifers dy't de offisjele metoade fan Grigori Grabovoi genêzeDit is de meast folsleine offisjele en bywurke metoade foar Grabovoi Sequences of Numbersom sûnens te ferbetterjen en te herstellen, plus...
Vampire Prince falls in love with raven haired beauty from afar... Scratch that, this is not your mamma's paranormal romance.At Grigori University there is a different kind of student body. The...
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.
Sign In
your cart
Your cart is empty
Menu
Search
PRE-SALES
If you have any questions before making a purchase chat with our online operators to get more information.
