Results for ' North-Holland'

999 found
Order:
  1. Inferentialism and the categoricity problem: Reply to Raatikainen.North-Holland - unknown
    It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen argues that this view—call it logical inferentialism—is undermined by some “very little known” considerations by Carnap (1943) to the effect that “in a definite sense, it is not true that the standard rules of inference” themselves suffice (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Modality and Language.North-Holland - unknown
    Modality is a category of linguistic meaning having to do with the expression of possibility and necessity. A modalized sentence locates an underlying or prejacent proposition in the space of possibilities. Sandy might be home says that there is a possibility that Sandy is home. Sandy must be home says that in all possibilities, Sandy is home. The counterpart of modality in the temporal domain should be called “temporality”, but it is more common to talk of tense and aspect, the (...)
    No categories
     
    Export citation  
     
    Bookmark  
  3. Multiproduct Search.North-Holland - unknown
    This paper presents a sequential search model where consumers look for several products and multiproduct …rms compete in prices. In such a multiproduct search market, both consumer behavior and …rm behavior exhibit di¤erent features from the single-product case: a consumer often returns to previously visited …rms before running out of options; and prices can decrease with search costs and increase with the number of …rms. The framework is then extended in two directions. First, by introducing both single-product and multiproduct searchers, (...)
     
    Export citation  
     
    Bookmark  
  4. Genre fiction and "the origin of the work of art".Nancy J. Holland - 2002 - Philosophy and Literature 26 (1):216-223.
    In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 26.1 (2002) 216-223 [Access article in PDF] Notes and Fragments Genre Fiction and "The Origin of the Work of Art" Nancy J. Holland I FIRST, A CONFESSION. Like, I suspect, many of my readers, I am an unpublished fiction writer. Unlike most of the closet fiction writers in academia, however, I write genre fiction. The question that immediately follows is how that writing is related (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    Assessing the Transformative Significance of Movements & Activism: Lessons from A Postcapitalist Politics.Dorothy Holland & Diana Gomez Correal - 2013 - Outlines. Critical Practice Studies 14 (2):130-159.
    How do researchers and/or practitioners know when change efforts are bringing about significant transformation? Here we draw on a theory of change put forward by the feminist economic geographers, Julie Graham and Katherine Gibson. Proposing “a postcapitalist politics” that builds on possibility rather than probability, they direct theoretical attention and community engaged action research to recognizing and supporting non-capitalist economic practices and sensibilities that already exist despite the dominance of capitalism that keeps them hidden and ignored and to understanding the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  8
    Owl.John Hollander - 1996 - Philosophy and Literature 20 (1):163-166.
    In lieu of an abstract, here is a brief excerpt of the content:OwlJohn HollanderOwlNow that the owl-light—in the time between Dog and wolf, as some call it—ends, we wait As you alight on an unseen Branch to interrogateThe listener and the rememberer; Lost outlines heighten—as last colors fade— The sounder darkness you confer Upon the spruce’s shade.Deluded by the noonlight’s wide display Of everything, our vision floats through thin Spaces of ill-illumined day: How we are taken inBy what we take (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Introduction to the philosophy of physics: Volume 2 of the north-Holland series, the handbook of the philosophy of science.Jeremy Butterfield & John Earman - unknown
    This is the editors' introduction to a new anthology of commissioned articles covering the various branches of philosophy of physics. We introduce the articles in terms of the three pillars of modern physics: relativity theory, quantum theory and thermal physics. We end by discussing the present state, and future prospects, of fundamental physics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  42
    Mark W. Sullivan: Apuleian Logic. Pp. x + 265. Amsterdam: North-Holland Publishing Co., 1967. Cloth, £4. 6 s.W. E. Charlton - 1968 - The Classical Review 18 (03):352-353.
  9.  23
    Abraham Robinson. Non-standard analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 64 (1961), pp. 432–440; also Indagationes mathematicae, vol. 23 (1961), pp. 432-440. - Abraham Robinson. Topics in non-Archimedean mathematics. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 285–298. - Abraham Robinson. On generalized limits and linear functionals. Pacific journal of mathematics, vol. 14 (1964), pp. 269–283. - Alan R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos.Pacific journal of mathematics, vol. 16 (1966), pp. 421–431. - Abraham Robinson. Non-standard analysis.Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1966, xi + 293 pp. [REVIEW]Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.
  10.  17
    Ernest Schimmerling. Covering properties of core models. Sets and proofs. (Leeds, 1997), London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, pp. 281–299. - Peter Koepke. An introduction to extenders and core models for extender sequences. Logic Colloquium '87 (Granada, 1987), Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, pp. 137–182. - William J. Mitchell. The core model up to a Woodin cardinal. Logic, methodology and philosophy of science, IX (Uppsala, 1991), Studies in Logic and the Foundations of Mathematics 134, North-Holland, Amsterdam, 1994, pp. 157–175. - Benedikt Löwe and John R. Steel. An introduction to core model theory. Sets and proofs (Leeds, 1997), London Mathematical Society Lecture Note Series 258, Cambridge University Press, Cambridge, 1999, pp. 103–157. - John R. Steel. Inner models with many Woodin cardinals. Annals of Pure and Applied Logic, vol. 65 no. 2 (1993), pp. 185–209. -.Martin Zeman - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
  11.  27
    Querido, A., van Es, L.A. and Mandema, E. (eds.): 1994, The Discipline of Medicine, North-Holland, Amsterdam, New York.L. Caccamo - 1996 - Journal of Medicine and Philosophy 21 (4):467-469.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  16
    An Essay in Modal Logic. By Georg H. von Wright. (North Holland Publishing Company, Amsterdam. Pp. 90. Price 15s.).P. F. Strawson - 1953 - Philosophy 28 (104):76-.
  13.  6
    Apostel Leo. Modalités physiques et techniques. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 97–104. [REVIEW]Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (3):230-230.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. AA. W., Speech Understanding Systems, Final Report of a Study Group, North-Holland/American Elsevier, 1973. Artificial and Human Thinking, ed. by A. Elithorn and D. Jones, Elsevier Publ. Comp., 1973. K. Atanasijevic, The Metaphysical and Geometrical Doctrine of Bruno, trad. D. [REVIEW]A. Dumitriu & Editura Academieii Republicii Socialiste Romania - 1974 - International Logic Review: Rassegna Internazionale di Logica 7 (9-12):154.
  15.  34
    Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 24–30. [REVIEW]Stephen A. Cook - 1970 - Journal of Symbolic Logic 34 (4):657-657.
  16.  24
    McCarthy John. A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference, 1961, pp. 225–238.McCarthy John. A basis for a mathematical theory of computation. Computer programming and formal systems, edited by Braffort P. and Hirschberg D., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1963, pp. 33–70. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
  17.  30
    Robinson A.. A basis for the mechanization of the theory of equations. Computer programming and formal systems, edited by Braffort P. and Hirschberg D., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1963, pp. 95–99.Robinson A.. On the mechanization of the theory of equations. Bulletin of the Research Council of Israel, vol. 9F no. 2 , pp. 47–70. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):118-118.
  18.  37
    Reviews. Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. VIII–IX. Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 39–74. Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 77–87. Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 89–91. Index. Undecidable theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. RC Van Caenegem, with FL Ganshof, Introduction aux sources de l'histoire médiévale. Ed. L. Jocqué. Trans,(into French) B. van den Abeele.(Corpus Christianorum, Continuatio Mediaeualis.) Turnhout: Brepols, 1997. Paper. Pp. 649. Previously published as Guide to the Sources of Medieval History by North-Holland Publishing Company in 1978 and reviewed in Speculum 54 (1979), 872, by Paul Meyvaert. [REVIEW]Everett U. Crosby - 1999 - Speculum 74 (2):526-527.
    No categories
     
    Export citation  
     
    Bookmark  
  20.  71
    William W. Boone, Frank B. Cannonito, and Roger C. Lyndon. Introduction. Word problems, Decision problems and the Burnside problem in group theory, edited by W. W. Boone, F. B. Cannonito, and R. C. Lyndon, Studies in logic and the foundations of mathematics, vol. 71, North-Holland Publishing Company, Amsterdam and London1973, pp. ix–xii. [REVIEW]C. R. J. Clapham - 1976 - Journal of Symbolic Logic 41 (4):785-788.
  21.  15
    Moody Ernest A.. Truth and consequence in mediaeval logic. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1953, VIII + 113 pp. [REVIEW]Philotheus Boehner - 1955 - Journal of Symbolic Logic 20 (1):44-45.
  22.  40
    Carnap Rudolf. On the use of Hilbert's ε-operator in scientific theories. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 156–164. [REVIEW]H. Bohnert - 1971 - Journal of Symbolic Logic 36 (2):320-321.
  23.  22
    J. R. Shoenfield. The problem of predicativity. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 132–139. [REVIEW]George S. Boolos - 1969 - Journal of Symbolic Logic 34 (3):515.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  11
    Gallin Daniel. Intensional and higher-order modal logic, with applications to Montague semantics. Mathematics studies, vol. 19. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, ix + 148 pp. [REVIEW]Kenneth A. Bowen - 1977 - Journal of Symbolic Logic 42 (4):581-583.
  25.  38
    J. C. E. Dekker. Regressive isols. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 272–296. [REVIEW]C. E. Bredlau - 1969 - Journal of Symbolic Logic 34 (3):519-519.
  26.  47
    Lachlan A. H.. A note on Thomason's refined structures for tense logics. Theoria, vol. 40, pp. 117–120.Fine Kit. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Ranger Stig, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14.Goldblatt R. I. and Thomason S. K.. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173.Goldblatt R. I.. First-order definability in modal logic. [REVIEW]Robert A. Bull - 1982 - Journal of Symbolic Logic 47 (2):440-445.
  27.  26
    G. Kreisel and J. L. Krivine. Elements of mathematical logic. . North-Holland Publishing Company, Amsterdam1967, xi + 222 pp. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  17
    Heyting A.. Some remarks on intuitionism. 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. 69–71. [REVIEW]O. Chateaubriand - 1971 - Journal of Symbolic Logic 36 (4):673-674.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  9
    A. M. MacIver. Do words mean anything?Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 172–175. See corrigenda, ibid., Volume XIV, p. 328. [REVIEW]Noam Chomsky - 1955 - Journal of Symbolic Logic 20 (1):56-56.
  30.  17
    A. M. MacIver. Do words mean anything?Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 172–175. See corrigenda, ibid., Volume XIV, p. 328. [REVIEW]Noam Chomsky - 1955 - Journal of Symbolic Logic 20 (1):57-57.
  31.  17
    L. O. Kattsoff. Ontology and the choice of languages. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 26-32. [REVIEW]Noam Chomsky - 1957 - Journal of Symbolic Logic 22 (4):394-395.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  16
    Brouwer L. E. J.. Consciousness, philosophy, and mathematics. Actes du Χme Congrès International de Philosophie —Proceedings of the Tenth International Congress of Philosophy , North-Holland Publishing Company, Amsterdam 1949, pp. 1235–1249. [REVIEW]Alonzo Church - 1949 - Journal of Symbolic Logic 14 (2):132-132.
  33.  25
    Fraenkel Abraham A.. Abstract set theory. Second, completely revised edition. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1961, VIII + 295 pp. [REVIEW]Alonzo Church - 1963 - Journal of Symbolic Logic 28 (2):168-169.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  51
    G. Kreisel. Some reasons for generalizing recursion theory. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 139–198. [REVIEW]C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.
  35.  25
    G. H. von Wright. A new system of modal logic. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 59–63. [REVIEW]Naoto Yonemitsu - 1954 - Journal of Symbolic Logic 19 (1):66-67.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  12
    Ernest Schimmerling. Covering properties of core models. Sets and proofs. , London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, pp. 281–299. - Peter Koepke. An introduction to extenders and core models for extender sequences. Logic Colloquium '87 , Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, pp. 137–182. - William J. Mitchell. The core model up to a Woodin cardinal. Logic, methodology and philosophy of science, IX , Studies in Logic and the Foundations of Mathematics 134, North-Holland, Amsterdam, 1994, pp. 157–175. - Benedikt Löwe and John R. Steel. An introduction to core model theory. Sets and proofs , London Mathematical Society Lecture Note Series 258, Cambridge University Press, Cambridge, 1999, pp. 103–157. - John R. Steel. Inner models with many Woodin cardinals. Annals of Pure and Applied Logic, vol. 65 no. 2 , pp. 185–209. - Ernest Schimmerling. Combinatorial principles in the core mode. [REVIEW]Martin Zeman - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  13
    de Iongh J. J.. Restricted forms of intuitionistic mathematics. Actes du Xme Congrès International de Philosophie —Proceedings of the Tenth International Congress of Philosophy , North-Holland Publishing Company, Amsterdam 1949, pp. 744–748. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):183-184.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  38.  24
    Issmann S.. Une méthode de décision pour certaines formules du calcul des prédicats. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, und Éditions E. Nauwelaerts, Louvain 1953, S. 35–38. [REVIEW]Wilhelm Ackermann - 1954 - Journal of Symbolic Logic 19 (2):132-133.
  39.  29
    Disticha Catonis Disticha Catonis recensuit et apparatu critico instruxit Marcus Boas. Pp. lxxxiv+303; 3 plates. Amsterdam: North-Holland Publishing Company, 1952. Cloth, £4.4s. [REVIEW]Robert Browning - 1954 - The Classical Review 4 (02):134-136.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  22
    Stephen G. Simpson. Nonprovability of certain combinatorial properties of finite trees. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. Ṧčedrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 87–117. , pp. 45–65.). [REVIEW]W. Buchholz - 1990 - Journal of Symbolic Logic 55 (2):868-869.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  15
    Peter J. Freyd and Andre Scedrov. Categories, allegories. North-Holland mathematical library, vol. 39. North-Holland, Amsterdam etc. 1990, xviii + 296 pp. [REVIEW]Marta C. Bunge - 1993 - Journal of Symbolic Logic 58 (1):352-354.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  20
    Reviews. Evert W. Beth. The foundations of mathematics, A study in the philosophy of science. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, XXVI + 741 pp. [REVIEW]A. Nerode & Raymond M. Smullyan - 1962 - Journal of Symbolic Logic 27 (1):73-75.
  43.  57
    Jon Barwise and John Schlipf. On recursively saturated models of arithmetic. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 57–68. - Julia F. Knight. Theories whose resplendent models are homogeneous. Israel journal of mathematics, vol. 42 , pp. 151–161. - Julia Knight and Mark Nadel. Expansions of models and Turing degrees. The journal of symbolic logic, vol. 47 , pp. 58. [REVIEW]J. -P. Ressayre - 1987 - Journal of Symbolic Logic 52 (1):279-284.
  44.  25
    Reviews. Alfred Tarski. Ordinal algebras. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1956, V + 133 pp. Chen-Chung Chang. Appendix A. Some additional theorems on ordinal algebras. Therein, pp. 85–98. Bjarni Jónsson. Appendix B. A unique decomposition theorem for relational addition. Therein, pp. 99–123. [REVIEW]Hugo Ribeiro - 1960 - Journal of Symbolic Logic 25 (2):156-158.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  19
    Hilary Putnam. Uniqueness ordinals in higher constructive number classes. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 190–206. [REVIEW]Wayne Richter - 1966 - Journal of Symbolic Logic 31 (1):135-136.
  46.  24
    Yiannis N. Moschovakis. Elementary induction on abstract structures. Studies in logic and the foundations of mathematics, vol. 77. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, x + 218 pp. [REVIEW]Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  32
    Andrzej Mostowski. Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 269–286. [REVIEW]Raphael M. Robinson - 1967 - Journal of Symbolic Logic 32 (1):130-131.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  14
    Loveland Donald W.. Automated theorem proving. A logical basis. Fundamental studies in computer science, vol. 6. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xiii + 405 pp. [REVIEW]J. A. Robinson - 1980 - Journal of Symbolic Logic 45 (3):629-630.
  49.  30
    Renée Doehaerd, The Early Middle Ages in the West: Economy and Society. Trans. W. G. Deakin. Amsterdam, New York, Oxford: North-Holland, 1978. Pp. xvii, 307. $31; DF1 70. First published in 1971 as Le haut moyen 'ge occidental: Economies et sociétés'. [REVIEW]Bernard S. Bachrach - 1981 - Speculum 56 (2):452.
  50.  22
    Combinatory logic. Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London 1972, XIV + 520 pp. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
1 — 50 / 999