Recenze The Logic of Provability

\nThis 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... číst celé