- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Results for 'Princeton Institute'
987 found
Order:
- Understanding Institutions: The Science and Philosophy of Living Together, Francesco Guala. Princeton University Press, 2016, xxx + 222 pages. [REVIEW]Peter Vanderschraaf - 2017 - Economics and Philosophy 33 (3):475-484.
- Divine Institutions: Religions and Community in the Middle Roman Republic. By Dan‐El Padilla Peralta. Pp. xiii, 323, Princeton/Oxford, Princeton University Press, 2020, $45.00. [REVIEW]Patrick Madigan - 2021 - Heythrop Journal 62 (2):364-364.No categories
- Francesco Guala: Understanding Institutions—The Science and Philosophy of Living Together: Princeton University Press, 2016, 256 pp, $35.00/£30.00 (Hardback), ISBN: 978-0691171784.Joachim Wiewiura - 2022 - Erkenntnis 87 (3):1457-1460.No categories
- Microeconomics: Behavior, Institutions, and Evolution, Samuel Bowles, Princeton University Press and Russell Sage Foundation, 2004, 584 pages. [REVIEW]Geoffrey M. Hodgson - 2006 - Economics and Philosophy 22 (1):166-171.
- Sufficient reason: volitional pragmatism and the meaning of economic institutions, by Daniel W. Bromley, Princeton, NJ: Princeton University Press, 2006. [REVIEW]Daniel W. Bromley - 2009 - Journal of Economic Methodology 16 (1).
- Textiles in late antiquity - (t.K.) Thomas (ed.) Designing identity. The power of textiles in late antiquity. Pp. 160, b/w & colour ills, colour map. New York / princeton and oxford: Institute for the study of the ancient world at new York university / princeton university press, 2016. Paper, £22.95, us$29.95. Isbn: 978-0-691-16942-2. [REVIEW]Frances Pritchard - 2019 - The Classical Review 69 (2):634-636.
- Curry Haskell B.. Combinatory logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 90–99. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-267.
- The Princeton Heirmologion Palimpsest.Jørgen Juul Raasted - 1992 - Cahiers de l'Institut du Moyen-Âge Grec Et Latin 62:219-232.No categoriesExport citation
Bookmark - J. Hartmanis and R. E. Stearns. Computational complexity of recursive sequences. Switching circuit theory and logical design, Proceedings of the Fifth Annual Symposium, Princeton University, Princeton, N.J., November 11–13, 1964, The Institute of Electrical and Electronics Engineers, Inc., New York1964, pp. 82–90. [REVIEW]Jiří Bečvář - 1967 - Journal of Symbolic Logic 32 (1):121-122.
- Alain Bresson, The Making of the Ancient Greek Economy. Institutions, Markets, and Growth in the City-States. Expanded and updated English edition, translated by Steven Rendall, Princeton University Press 2016, XXVI, 620 S., ISBN 978-0-691-14470-2 , € 31,18The Making of the Ancient Greek Economy. Institutions, Markets, and Growth in the City-States. Expanded and updated English edition, translated by Steven Rendall. [REVIEW]Sitta von Reden - 2019 - Klio 101 (2):695-703.No categories
- J. W. Addison. Hierarchies and the axiom of constructibility. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 355–362. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):137-138.
- Bernays Paul. Logical calculus. Notes on lectures at the Institute for Advanced Study 1935–36, prepared with the assistance of F. A. Ficken. Mimeographed. Institute for Advanced Study, Princeton, N. J., 1936, 125 pp. [REVIEW]Haskell B. Curry - 1938 - Journal of Symbolic Logic 3 (4):162-163.
- Kochen Simon. Completeness of algebraic systems in higher order calculi. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 370–376. [REVIEW]R. L. Vaught - 1962 - Journal of Symbolic Logic 27 (1):97-97.
- R. L. Vaught. Sentences true in all constructive models. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 341–343. - R. L. Vaught. Sentences true in all constructive models. The journal of symbolic logic, vol. 25 no. 1 , pp. 39–53. [REVIEW]S. Feferman - 1966 - Journal of Symbolic Logic 31 (1):132-132.
- Adam D. Sheingate, The Rise of the Agricultural Welfare State: Institutions and Interest Group Power in the United States, France and Japan. Princeton: Princeton University Press, 2001, pp. xii + 279. ISBN 0691116288. [REVIEW]Penelope Francks - 2004 - Japanese Journal of Political Science 5 (1):226-228.
- (E.) Dusenbery Samothrace: Excavations conducted by the Institute of Fine Arts, New York University. Vol. 11: The Nekropoleis.(Bollingen Series LX-11). Princeton UP, 1998. 2 vols., pp. xxv+ xvii+ 1208, ill. 0691036799. [REVIEW]Anthony Snodgrass - 2001 - Journal of Hellenic Studies 121:215-215.No categories
- New views on greek economy. A. bresson the making of the ancient greek economy. Institutions, markets, and growth in the city-states. Translated by Steven Rendall. Pp. XXVIII + 620, figs, maps. Princeton and oxford: Princeton university press, 2016 . Cased, £30.95, us$45. Isbn: 978-0-691-14470-2. [REVIEW]Jeremy Trevett - 2017 - The Classical Review 67 (1):141-143.
- Butler Jean W.. On complete and independent sets of truth functions in multi-valued logics. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 78–80.Butler Jean W.. On complete and independent sets of operations in finite algebras. Pacific journal of mathematics, vol. 10 , pp. 1169–1179. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (2):246-246.
- Dreben Burton. Relation of m-valued quantificational logic to 2-valued quantificational logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 303–304. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (3):375-376.
- Kreisel G.. Gödel's intepretation of Heyting's arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 125–133.Kreisel G.. Relations between classes of constructive functional. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 292–302.Kreisel Georg. Interpretation of analysis by means of constructive functional of finite types. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 101–128. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
- E. Marczewski. Sur les congruences et les propriétés positives d'algèbres abstraites. Colloquium mathematicum, vol. 2 no. 3–4 , pp. 220–228. - Roger C. Lyndon. Properties preserved under homomorphism. Pacific journal of mathematics, vol. 9 , pp. 143–154. - Roger C. Lyndon. Properties preserved in subdirect products. Pacific journal of mathematics, vol. 9 , pp. 155–164. - R. C. Lyndon. Sentences preserved under homomorphisms; sentences preserved under subdirect products. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 122–124. - R. C. Lyndon. Properties preserved under algebraic constructions. Bulletin of the American Mathematical Society, vol. 65 , pp. 287–299. [REVIEW]Thomas Frayne - 1968 - Journal of Symbolic Logic 32 (4):533-534.
- Scott D. and Tarski A.. The sentential calculus with infinitely long expressions. Colloquium mathematicum, vol. 6 , pp. 165–170.Scott Dana and Tarski Alfred. The sentential calculus with infinitely long expressions. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 83–89. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):94-95.
- Church Alonzo. Application of recursive arithmetic to the problem of circuit synthesis Summaries of talks presented at the Summer Institute for Symbolic Logic Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N. J., 1960, pp. 3–50. 3a-45a. [REVIEW]Joyce Friedman - 1963 - Journal of Symbolic Logic 28 (4):289-290.
- Robinson Abraham. Applications to field theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 326–331. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):97-97.
- Clifford Spector. Recursive ordinals and predicative set theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 377–382. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):138-138.
- C. C. Chang. Algebraization of infinitely many-valued logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 , pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 , pp. 74–80. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
- Rogers Hartley Jr., Computing degrees of unsolvability. Mathematische Annalen, vol. 138 . pp. 125–140.Rogers Hartley Jr., Computing degrees of unsolvability. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 277–283. [REVIEW]Steven Orey - 1960 - Journal of Symbolic Logic 25 (4):363-364.
- Craig W.. Analysis of first-order implications. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 175–180. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
- Nathan Reingold , The Papers of Joseph Henry, volume 3: January 1836—December 1837, The Princeton Years. Washington: Smithsonian Institution Press, 1979. Pp. xxxiv + 585. $30. - Nathan Reingold , The Papers of Joseph Henry, volume 4: January 1838—December 1840, The Princeton Years. Washington: Smithsonian Institution Press, 1981. Pp. xxxiv + 475. $30. [REVIEW]David Gooding - 1985 - British Journal for the History of Science 18 (1):113-114.No categories
- The role of the pomerium - (m.) koortbojian crossing the pomerium. The boundaries of political, religious, and military institutions from caesar to Constantine. Pp. XXII + 228, ills. Princeton and oxford: Princeton university press, 2020. Cased, £34, us$39.95. Isbn: 978-0-691-19503-2. [REVIEW]Anne Hrychuk Kontokosta - 2021 - The Classical Review 71 (1):168-170.
- J. C. E. Dekker and J. Myhill. Recursive equivalence types. University of California publications in mathematics, n.s. vol. 3 no. 3 , pp. 67–214. - J. C. E. Dekker. Congruences in isols with a finite modulus. Mathematische Zeitschrift, vol. 70 , pp. 113–124. - J. Myhill. Recursive equivalence types and combinatorial functions. Bulletin of the American Mathematical Society, vol. 64 , pp. 373–376. - J. C. E. Dekker. The factorial function for isols. Mathematische Zeitschrift, vol. 70 , pp. 250–262. - J. C. E. Dekker and J. Myhill. The divisibility of isols by powers of primes. Mathematische Zeitschrift, vol. 73 . pp. 127–133. - J. C. E. Dekker. An expository account of isols. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 189–200. [REVIEW]Donald L. Kreider - 1960 - Journal of Symbolic Logic 25 (4):356-359.
- Kleene S. C.. Realizability. Constructivity In mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A.. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 285–289.Kleene S. C.. Realizability. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 100–104. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):242-243.
- Kleene S. C.. Countable functionals. Constructivity in mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 81–100.Kleene S. C.. Recursive functionals of higher finite types. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton 1960, pp. 148–154. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (3):359-360.
- Kreisel G.. Sums of squares. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 313–320. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):128-129.
- Leon Henkin. Sums of squares. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 284–291. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):128-128.
- Robinson Abraham. Proving a theorem . Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 350–352. [REVIEW]J. A. Robinson - 1968 - Journal of Symbolic Logic 32 (4):522-522.
- Tarski A. and Vaught R. L.. Elementary extensions. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 51–55. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131-131.
- Scott Dana. Completeness proofs for the intuitionistic sentential calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 231–241. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (4):351-351.
- Gilmore P. C.. An alternative to set theory. The American mathematical monthly, vol. 67 , pp. 621–632.Gilmore P. C.. The monadic theory of types in the lower predicate calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 309–312. [REVIEW]Bede Rundle - 1972 - Journal of Symbolic Logic 37 (4):766-767.
- Friedberg R. M.. The fine structure of degrees of unsolvability of recursively enumerable sets. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 404–406. [REVIEW]Gerald E. Sacks - 1963 - Journal of Symbolic Logic 28 (2):166-166.
- Eighteenth and Nineteenth Centuries The Papers of Joseph Henry. Volume 2. November 1832-December 1835. The Princeton Years. Ed. by Nathan Reingold. Washington, D.C.: Smithsonian Institution Press, 1975. Pp. xl + 524. $30.00. [REVIEW]W. D. Hackmann - 1977 - British Journal for the History of Science 10 (1):85-85.No categories
- Putnam Hilary. Axioms of class existence. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, pp. 271–274. [REVIEW]A. Hajnal - 1966 - Journal of Symbolic Logic 31 (4):663-663.
- Scott Dana. The notion of rank in set-theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, pp. 267–269. [REVIEW]A. Hajnal - 1966 - Journal of Symbolic Logic 31 (4):662-663.
- Robinson Abraham. Relative model-completeness and the elimination of quantifiers. Englisch, mit englischem, deutschem und französischem Zusammenfassung. Ebd., S. 190–203; auch ebd., S. 394–407.Robinson Abraham. Relative model-completeness and the elimination of quantifiers. Eine Abkürzung desselben. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2. Auflage, Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, S. 155–159. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):229-230.
- Wang Hao. Symbolic representations of calculating machines. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 181–188. [REVIEW]C. C. Elgot - 1962 - Journal of Symbolic Logic 27 (1):103-103.
- Lin Shen and Rado Tibor. Computer studies of Turing machine problems. Journal of the Association for Computing Machinery, vol. 12 , pp. 196–212.Brady Allen H.. The conjectured highest scoring machines for Rado's Σ for the value k = 4. IEEE transactions on electronic computers, vol. EC-15 , pp. 802–803.Green Milton W.. A lower bound on Rado's sigma function for binary Turing machines. Switching circuit theory and logical design, Proceedings of the Fifth Annual Symposium, Princeton University, Princeton, N.J., November 11-13, 1964, The Institute of Electrical and Electronics Engineers, Inc., New York 1964, pp. 91–94. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):617-617.
- Feferman Solomon. Some recent work of Ehrenfeucht and Fraïssé. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 201–209. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):282-282.
- Cobham Alan. Effectively decidable theories. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, pp. 391–395. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):653-653.
- Duda W. L.. Post canonical language. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 410–423. [REVIEW]W. E. Singletary - 1971 - Journal of Symbolic Logic 36 (2):343-343.
- Leon Henkin and Alfred Tarski. Cylindrical algebras. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 332–340. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):417.
| 1 — 50 / 987 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-b9rvg uwo