THE PHILOSOPHY OF MATHEMATICS edited by JAAKKO HINTIKKA OXFORD UNIVERSITY PRESS 1969 CONTENTS INTRODUCTION I. SEMANTIC ENTAILMENT AND FORMAL DERIVABILITY by E. W. Beth II. COMPLETENESS IN THE THEORY OF TYPES by Leon Henkin VII. SYSTEMS OF PREDICATIVE ANALYSIS VIII. THE present THEORY
THE PHILOSOPHY OF MATHEMATICS edited by JAAKKO HINTIKKA OXFORD UNIVERSITY PRESS 1969 CONTENTS INTRODUCTION I. SEMANTIC ENTAILMENT AND FORMAL DERIVABILITY by E. W. Beth II. COMPLETENESS IN THE THEORY OF TYPES by Leon Henkin VII. SYSTEMS OF PREDICATIVE ANALYSIS VIII. THE present THEORY
Original Description:
Original Title
8263846 the Philosophy of Mathematics Jaakko Hintikka 1
THE PHILOSOPHY OF MATHEMATICS edited by JAAKKO HINTIKKA OXFORD UNIVERSITY PRESS 1969 CONTENTS INTRODUCTION I. SEMANTIC ENTAILMENT AND FORMAL DERIVABILITY by E. W. Beth II. COMPLETENESS IN THE THEORY OF TYPES by Leon Henkin VII. SYSTEMS OF PREDICATIVE ANALYSIS VIII. THE present THEORY
THE PHILOSOPHY OF MATHEMATICS edited by JAAKKO HINTIKKA OXFORD UNIVERSITY PRESS 1969 CONTENTS INTRODUCTION I. SEMANTIC ENTAILMENT AND FORMAL DERIVABILITY by E. W. Beth II. COMPLETENESS IN THE THEORY OF TYPES by Leon Henkin VII. SYSTEMS OF PREDICATIVE ANALYSIS VIII. THE present THEORY