|
|
Proof, Computation and Agency
Foreword.- Preface.- I LOGIC TODAY: SOME REFLECTIONS.- 1. What is Mathematical Logic? A Survey; John N. Crossley.- 2. Is there a Logic of Society?; Rohit Parikh.- II LOGIC AND MATHEMATICS.- 3. What is... |
 |
|
|
| Download PDF |
| Proof, Computation and Agency |
|
