Metamathematics of Constructive Theories of Effective Operations

Front Cover
Department of Mathematics, Stanford University., 1972 - Recursive functions - 196 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Appendix I
77
Appendix II
85
Bibliography
97

Common terms and phrases

Bibliographic information