Results for 'Princeton Institute'

972 found
Order:
  1.  25
    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
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  56
    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.
  3.  23
    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
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4. Microeconomics: Behavior, Institutions, and Evolution, Samuel Bowles, Princeton University Press and Russell Sage Foundation, 2004, 584 pages. [REVIEW]Geoffrey Hodgson - 2006 - Economics and Philosophy 22 (1):166-171.
  5.  46
    (1 other version)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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  38
    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.
  7.  15
    (1 other version)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.
  8.  7
    (1 other version)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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  42
    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).
  10.  55
    (1 other version)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.
  11.  34
    (1 other version)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.
  12.  24
    (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
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  44
    (1 other version)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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  23
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  40
    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.
  16.  84
    (1 other version)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.
  17.  43
    (1 other version)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.
  18.  56
    (1 other version)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.
  19.  31
    (1 other version)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.
  20.  24
    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
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  17
    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.
  22.  63
    (1 other version)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.
  23.  22
    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.
  24.  62
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  15
    (1 other version)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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  30
    (1 other version)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.
  27.  32
    (1 other version)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.
  28.  40
    (1 other version)R. H. Urbano and R. K. Mueller. A topological method for the determination of the minimal forms of a Boolean function. Transactions of the IRE Professional. Group on Electronic Computers, vol. EC-5 no. 3 , pp. 126–132. - David M. Brender. The logical procedures needed for finding the minimals of a Boolean function on a digital computer. 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, p. 210. [REVIEW]Thomas H. Mott - 1960 - Journal of Symbolic Logic 25 (4):368-370.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  54
    (1 other version)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.
  30.  26
    (1 other version)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.
  31.  32
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  56
    (1 other version)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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  12
    (1 other version)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.
  34.  8
    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
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  16
    Conditions for trade in antiquity - (t.) Terpstra trade in the ancient mediterranean. Private order and public institutions. Pp. X + 274, figs, ills, maps. Princeton and oxford: Princeton university press, 2019. Cased, £30, us$39.95. Isbn: 978-0-691-17208-8. [REVIEW]Raoul McLaughlin - 2020 - The Classical Review 70 (1):241-243.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  31
    (1 other version)R. H. Urbano and R. K. Mueller. A topological method for the determination of the minimal forms of a Boolean function. Transactions of the IRE Professional. Group on Electronic Computers, vol. EC-5 no. 3 , pp. 126–132. - David M. Brender. The logical procedures needed for finding the minimals of a Boolean function on a digital computer. 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, p. 210. [REVIEW]Thomas H. Mott - 1960 - Journal of Symbolic Logic 25 (4):370-373.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37.  24
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  38. The Analytic Turn in American Philosophy: An Institutional Perspective. Part I: Scientific vs. Humanistic Philosophy.Sander Verhaegh - forthcoming - Hopos: The Journal of the International Society for the History of Philosophy of Science.
    This two-part paper reconstructs the analytic turn in American philosophy through a comparative longitudinal study of three major philosophy departments: Princeton, Yale, and Columbia. I trace their hiring policies, tenure decisions, curriculum designs, and the external pressures that forced them to continuously adapt their strategies; and I use those analyses to distill some of the factors that contributed to the rapid growth of analytic philosophy between 1940 and 1970. In this first part, I show that philosophers at Princeton, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  69
    (1 other version)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.
  40.  21
    (1 other version)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.
  41.  56
    (1 other version)Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Proceedings of the American Mathematical Society, vol. 9 , pp. 238–242. - Raphael M. Robinson. Restricted set-theoretical definitions in 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. 139–140. [REVIEW]Robert McNaughton - 1966 - Journal of Symbolic Logic 31 (4):659-660.
  42.  44
    (1 other version)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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  33
    (1 other version)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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  19
    (1 other version)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.
  45.  51
    (1 other version)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.
  46.  50
    (1 other version)Fridshal R.. The Quine algorithm. 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. 211–212. [REVIEW]Thomas H. Mott - 1962 - Journal of Symbolic Logic 27 (1):103-103.
  47.  41
    (1 other version)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.
  48.  24
    (1 other version)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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  18
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. 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.
1 — 50 / 972