Results for 'M. O. Rabin'

1000+ found
Order:
  1.  15
    Grundgedanken einer Typenfreien Logik.Wilhelm Ackermann, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1967 - Journal of Symbolic Logic 32 (2):259-260.
  2.  15
    Axiomatic Method and Intuitionism.A. Heyting, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1971 - Journal of Symbolic Logic 36 (3):522-523.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  29
    Basic Verifiability in the Combinatory Theory of Restricted Generality.Haskell B. Curry, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1970 - Journal of Symbolic Logic 35 (3):469-470.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  15
    Comparing the Axioms of Local and Universal Choice.Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1966 - Journal of Symbolic Logic 31 (4):661-662.
  5.  17
    Recherche d'une Algèbre Logique Continue.Nicolas Rouche, Wolfe Mays, Henryk Greniewski, M. O. Rabin, D. Scott & J. C. Shepherdson - 1960 - Journal of Symbolic Logic 25 (2):163-164.
  6. Review: M. O. Rabin, Computable Algebraic Systems; Michael O. Rabin, Computable Algebra, General Theory and Theory of Computable Fields. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
  7.  2
    M. P. Schützenberger. A remark on finite transducers. Information and control, vol. 4 (1961), pp. 185–196.Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-297.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  33
    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  
  9. Review: Andrzej Mostowski, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Concerning the Problem of Axiomatizability of the Field of Real Numbers in the Weak Second Order Logic. [REVIEW]Raphael M. Robinson - 1967 - Journal of Symbolic Logic 32 (1):130-131.
  10.  9
    Review: M. P. Schutzenberger, On the Definition of a Family of Automata; M. P. Schutzenberger, Finite Counting Automata; M. P. Schutzenberger, Certain Elementary Families of Automata. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):296-297.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  11.  11
    Review: M. P. Schutzenberger, On Context-Free Languages and Push-Down Automata. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-298.
  12.  1
    Review: M. P. Schutzenberger, A Remark on Finite Transducers. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-297.
  13.  17
    M. P. Schützenberger. On the definition of a family of automata. Information and control, vol. 4 (1961), pp. 245–270. - M. P. Schützenberger. Finite counting automata.Information and control, vol. 5 (1962), pp. 91–107. - M. P. Schützenberger. Certain elementary families of automata. Proceedings of the Symposium of Mathematical Theory of Automata, New York, N.Y., Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, New York1963, pp. 139–153. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):296-297.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  12
    M. P. Schützenberger. On context-free languages and push-down automata. Information and control, vol. 6 (1963), pp. 246–264. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-298.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  15.  38
    Rabin M. O.. Computable algebraic systems. 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. 134–138.Rabin Michael O.. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 , pp. 341–360. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
  16.  74
    Robert Feys. Logique formalisée et raisonnement juridique. 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. 312–321. - Jan Gregorowicz. L'argument a maiori ad minus et le problème de la logique juridique. Logique et analyse, n.s. vol. 5 , pp. 66–75. - Ch. Perelman. Logique formelle, logique juridique. Logique et analyse, n.s. vol. 3 , pp. 226–230. - Robert Feys and Marie-Thérèse Motte. Logique juridique, systèmes juridiques. Logique et analyse, n.s. vol. 2 , pp. 143–147. - Georges Kalinowski. ‘Interprétation juridique et logique des propositions normatives. Logique et analyse, n.s. vol. 2 , pp. 128–142. [REVIEW]Nicholas A. Vonneuman - 1968 - Journal of Symbolic Logic 33 (1):141-142.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  9
    Review: A. Heyting, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Axiomatic Method and Intuitionism. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (3):522-523.
  18.  23
    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  
  19.  12
    Review: Elliott Mendelson, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, On Non-Standard Models for Number Theory. [REVIEW]Steven Orey - 1967 - Journal of Symbolic Logic 32 (1):128-128.
  20.  21
    Review: Haskell B. Curry, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Basic Verifiability in the Combinatory Theory of Restricted Generality. [REVIEW]Richard J. Orgass - 1970 - Journal of Symbolic Logic 35 (3):469-470.
  21.  19
    R. O. Gandy. On the axiom of extensionality. The journal of symbolic logic, vol. 21 , pp. 36–48, and vol. 24 no. 4 , pp. 287–300. - Dana Scott. More on the axiom of extensionality. 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. 115–131. [REVIEW]Azriel Lévy - 1964 - Journal of Symbolic Logic 29 (3):142-142.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  14
    Azriel Lévy. Comparing the axioms of local and universal choice. 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. 83–90. [REVIEW]A. Hajnal - 1966 - Journal of Symbolic Logic 31 (4):661-662.
  23.  8
    Review: Azriel Levy, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Comparing the Axioms of Local and Universal Choice. [REVIEW]A. Hajnal - 1966 - Journal of Symbolic Logic 31 (4):661-662.
  24.  26
    Richard Montague. Fraenkel's addition to the axioms of Zermelo. 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. 91–114. [REVIEW]A. Hajnal - 1966 - Journal of Symbolic Logic 31 (4):662-662.
  25.  6
    Review: Wilhelm Ackermann, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Grundgedanken einer Typenfreien Logik. [REVIEW]Ronald Harrop - 1967 - Journal of Symbolic Logic 32 (2):259-260.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  17
    Wilhelm Ackermann. Grundgedanken einer typenfreien Logik. Essays on the foundations of mathematics, dedicated to A. A. Fraenkelon 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. 143–155. [REVIEW]Ronald Harrop - 1967 - Journal of Symbolic Logic 32 (2):259-260.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  36
    Review: Michael O. Rabin, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Non-standard Models and Independence of the Induction Axiom. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-159.
  28.  31
    Michael O. Rabin. Non-standard models and independence of the induction axiom. 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. 287–299; also second edition, Magnes Press, Jerusalem 1966, pp. 287–299. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-159.
  29.  27
    Reviews - Paul Bernays. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre. 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. 3–49. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):353-354.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  18
    Nicolas Rouche. Recherche d'une algèbre logique continue. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 90–99. - Wolfe Mays. Cybernetic models and thought processes. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 103–110. - Henryk Greniewski. Logique et cybernétique. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 117–119. - M. O. Rabin and D. Scott. Finite automata and their decision problems. IBM journal of research and development, vol. 3 , pp. 114–125. - J. C. Shepherdson. The reduction of two-way automata to one-way automata. IBM journal of research and development, vol. 3 , pp. 198–200. [REVIEW]Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (2):163-164.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  45
    Robert Vaught. The elementary character of two notions from general algebra. 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. 226–233. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (2):252-253.
  32.  28
    Elliott Mendelson. On non-standard models for number theory. 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. 259–268. [REVIEW]Steven Orey - 1967 - Journal of Symbolic Logic 32 (1):128.
  33.  23
    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.
  34.  14
    Wang Hao. Process and existence in mathematics. 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 Robinson A. for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 328–351. [REVIEW]Elliott Mendelson - 1965 - Journal of Symbolic Logic 30 (2):244-244.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  11
    Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1981 - Dordrecht, Netherland: Reidel.
    From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication. I have not included anything on entailment, al though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be (...)
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  36.  20
    Heyting A.. Axiomatic method and intuitionism. 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 Robinson A. for the Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 237–247. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (3):522-523.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  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.
  38.  19
    Curry Haskell B.. Basic verifiability in the combinatory theory of restricted generality. 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 Robinson A. for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 165–189. [REVIEW]Richard J. Orgass - 1970 - Journal of Symbolic Logic 35 (3):469-470.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. P. I︠A︡. Chaadaev.M. O. Gershenzon & P. Ia Chaadaev - 1968 - Paris,: Mouton. Edited by P. I︠A︡ Chaadaev.
  40.  8
    Chʻŏnbugyŏng kwa samsin sasang.Pŏm-ha Yun - 2004 - Kyŏnggi-do Koyang-si: Paeksŏk Kihoek. Edited by Yong-bin Yun.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  41
    Reponses a des signaux mecaniques: Communications inter et intracellulaires chez les vegetauxResponses to mechanical signals: inter and intracellular communications in plants.M. O. Desbiez, J. Boissay, P. Bonnin, P. Bourgeade, N. Boyer, G. de Jaegher, J. M. Frachisse, C. Henry & J. L. Julien - 2016 - Acta Biotheoretica 39 (3):299-308.
    In their environment, plants are continuously submitted to natural stimuli such as wind, rain, temperature changes, wounding, etc. These signals induce a cascade of events which lead to metabolic and morphogenetic responses. In this paper the different steps are described and discussed starting from the reception of the signal by a plant organ to the final morphogenetic response. In our laboratory two plants are studied: Bryonia dioica for which rubbing the internode results in reduced elongation and enhanced radial expansion and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  21
    A double-reference account: Gongsun long's "white-horse-not-horse" thesis.M. O. U. BO - 2007 - Journal of Chinese Philosophy 34 (4):493–513.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  7
    Reponses a Des signaux mecaniques: Communications inter et intracellulaires chez Les vegetaux.M. O. Desbiez, J. Boissay, P. Bonnin, P. Bourgeade, N. Boyer, G. Jaegher, J. M. Frachisse, C. Henry & J. L. Julien - 1991 - Acta Biotheoretica 39 (3-4):299-308.
    In their environment, plants are continuously submitted to natural stimuli such as wind, rain, temperature changes, wounding, etc. These signals induce a cascade of events which lead to metabolic and morphogenetic responses.In this paper the different steps are described and discussed starting from the reception of the signal by a plant organ to the final morphogenetic response. In our laboratory two plants are studied: Bryonia dioica for which rubbing the internode results in reduced elongation and enhanced radial expansion and Bidens (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. The Negatives of Curriculum and Instruction.M. O. Akande - 2003 - Journal of Social Studies Research 27 (2):14-17.
     
    Export citation  
     
    Bookmark  
  45. Race Concepts in Medicine.M. O. Hardimon - 2013 - Journal of Medicine and Philosophy 38 (1):6-31.
    Confusions about the place of race in medicine result in part from a failure to recognize the plurality of race concepts. Recognition that the ordinary concept of race is not identical to the racialist concept of race makes it possible to ask whether there might be a legitimate place for the deployment of concepts of race in medical contexts. Two technical race concepts are considered. The concept of social race is the concept of a social group that is taken to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  46.  6
    Osvitni︠a︡ samorealizat︠s︡ii︠a︡ filosofiï: tendent︠s︡iï i perspektyvy: monohrafii︠a︡.M. O. Drobotenko - 2018 - Kharkiv: Vydavet︠s︡ʹ FOP Panov A.M..
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  23
    Balancing the quality of consent.M. O. Hansson - 1998 - Journal of Medical Ethics 24 (3):182-187.
    The rule that one must obtain informed consent is well established in medical ethics and an intrinsic part of clinical practice and of research in biomedicine. However, there is a tendency that the rule today is being applied too rigidly and with too little sensitivity to the values that are at stake in connection with different kinds of research protocols. It is here argued that the quality of consent needs to be balanced against variables such as degree of confidentiality and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  48.  39
    Cogito: From Descartes to Sartre.M. O. Weimin - 2007 - Frontiers of Philosophy in China 2 (2):247-264.
    Cogito, as the first principle of Descartes’ metaphysical system, initiated the modern philosophy of consciousness, becoming both the source and subject of modern Western philosophical discourse. The philosophies of Maine de Biran, Kant, Husserl, Heidegger, Sartre, Merleau-Ponty, and others developed by answering the following questions? Is consciousness substantial or not? Does consciousness require the guarantee of a transcendental subject? Is Cogito epistemological or ontological? Am I a being-for-myself or a being-for-others? Outlining the developmental history of the idea of Cogito from (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  5
    Introduction: Methodological notes.M. O. U. BO - 2007 - Journal of Chinese Philosophy 34 (4):465–471.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  40
    Romanticism : critical concepts in literary and cultural studies.M. Sandy & M. O'Neill - unknown
    The following text is taken from the publisher's website: "Romanticism is, and always has been, one of the most hotly contested terms in literary and cultural history. Many of the writers now described as Romantic refused to be defined by the word: 'it would be such bad taste', said Byron in 1820. Lovejoy spoke of a plurality of ‘romanticisms’, born of distinct thought complexes, whilst René Wellek argued that literatures labelled Romantic indicated common conceptions. Comparably, in the post-World War II (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000