No CrossRef data available.
Article contents
S. Feferman and G. Kreisel. Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 480–485. - Solomon Feferman. Persistent and invariant formulas for outer extensions. Logic and foundations of mathematics, Dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff Publishing, Groningen1968, pp. 29–52; also Compositio mathematica, vol. 20 (1968), p. 29–52.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1972