-
24.06.2003This book written by one of the most distinguished of contemporary philosophers of mathematics, i...
-
30.08.2008
The Unprovability of Consistency is concerned with connections between two branches of logic: pro...
-
18.01.2012
Computability and Logic is a classic because of its accessibility to students without a mathemati...
-
15.03.2009
This volume is a report on the state of philosophy in a number of significant areas.
-
01.10.2007
Computability and Logic has become a classic because of its accessibility to students without a m...
-
George Boolos was one of the most prominent and influential logician-philosophers of recent times...
- 1