Recursive functionals and quantifiers of finite types revisited I. Generalized recursion theory II. InProceedings of the 1977 Oslo Symposium, eds. J. E. Fenstad, R. O. Gandy, and G. E. Sacks, pp. 185-222. Amsterdam: North-Holland.
The work of Kurt Gödel (addendum). J. Symb. Logic43:613.
The role of logical investigations in mathematics since 1930. In A Century of Mathematics in America, part 1, pp. 85-92. Providence, R. I.: American Mathematical Society.
The National Academies | 500 Fifth St. N.W. | Washington, D.C. 20001
Copyright © National Academy of Sciences. All rights reserved.
Stephen Cole Kleene ."
Biographical Memoirs V.75 . Washington, DC: The National Academies Press,
Please select a format:
As of 2013, the National Science Education Standards have been replaced by the Next Generation Science Standards (NGSS), available as a print book, free PDF download, and online with our OpenBook platform.
The NGSS offer a detailed description of the key scientific ideas and practices that all students should learn by the time they graduate from high school. The standards are based largely on the 2011 National Research Council report A Framework for K-12 Science Education: Practices, Crosscutting Concepts, and Core Ideas.