George S. Boolos – författare
Visar alla böcker från författaren George S. Boolos. Handla med fri frakt och snabb leverans.
4 produkter
The Logic of Provability
Häftad, 1995
569 kr
Lägg i varukorg
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 …
Computability and Logic
Av George S. Boolos, John P. Burgess m. fl.
Häftad, 2007
569 kr
Lägg i varukorg
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from …
Computability and Logic
Av George S. Boolos, John P. Burgess m. fl.
Inbunden, 2007
1563 kr
Lägg i varukorg
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from …
