Switch to: Citations

References in:

Flagg and Friedman's translation is not faithful

Takao Inoué & T. Inoué

Mathematical Logic Quarterly 38 (1):551-554 (1992)

Add references

You must login to add references.

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...) Download Export citation Bookmark 555 citations
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic.Nicolas D. Goodman - 1984 - Journal of Symbolic Logic 49 (1):192-203.details Download Export citation Bookmark 14 citations
Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details Among the aims of this book are: - The discussion of some important philosophical issues using the precision of mathematics. - The development of formal systems that contain both classical and constructive components. This allows the study of constructivity in otherwise classical contexts and represents the formalization of important intensional aspects of mathematical practice. - The direct formalization of intensional concepts (such as computability) in a mixed constructive/classical context. Download Export citation Bookmark 7 citations

1