Persistent and invariant formulas relative to theories of higher order
Open Access
- 1 January 1966
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 72 (3), 480-485
- https://doi.org/10.1090/s0002-9904-1966-11507-0
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 4 references indexed in Scilit:
- Languages with Expressions of Infinite Length.The American Mathematical Monthly, 1966
- Metarecursive setsThe Journal of Symbolic Logic, 1965
- Introduction to Model Theory and to the Metamathematics of Algebra. By A. Robinson. Pp. 284. 60s. 1963. (North Holland Publishing Co.)The Mathematical Gazette, 1964
- Linear reasoning. A new form of the Herbrand-Gentzen theoremThe Journal of Symbolic Logic, 1957