Logic of Provability
Knihu koupíte v
1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku.
Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Krátký popis
This book, written by one of the most distinguished of contemporary
philosophers of mathematics, is a fully rewritten and updated
successor to the author's earlier The Unprovability of Consistency
(1979). Its subject is the relation between provability and modal
logic, a branch of logic invented by Aristotle but much disparaged
by philosophers and virtually ignored by mathematicians.
Výběr knih vydavatele
Cambridge University Press
Zobrazit všechny knihy vydavatele
Cambridge University Press
Naše tipy
