| Description |
5 unnumbered pages, 186 pages : illustrations ; 21 cm |
| Series |
Oxford readings in philosophy |
|
Oxford readings in philosophy.
|
| Contents |
Semantic entailment and formal derivability / E.W. Beth -- The completeness of the first-order functional calculus / Leon Henkin -- Languages in which self reference in possible / Raymond M. Smullyan -- Informal rigour and completeness proofs / Georg Kreisel -- Systems of predicative analysis / Solomon Feferman -- An interpretation of the intuitionistic sentenial logic / Kurt Godel -- The present theory of Turing machine computability / Harley Rogers Jr. -- Mathematical logic : What has it done for the philosophy of mathmematics? (Excerpt) / Georg Kreisel -- The metaphysics of the calculus / Abraham Robinson -- What is elementary geometry? / Alfred Tarskiuo |
| Analysis |
Mathematics Philosophy |
|
Mathematics Philosophy |
| Notes |
Includes index |
| Bibliography |
Bibliography: pages 178-184 |
| Notes |
Also issued online |
| Subject |
Mathematics -- Philosophy.
|
| Author |
Hintikka, Jaakko, 1929-2015, compiler
|
| LC no. |
71441791 |
| ISBN |
0198750110 |
|
