Results for 'M. O. Rabin'

(not author) ( search as author name )
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.  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.
  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.  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  
  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. 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.
  8.  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  
  9.  17
    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  
  10.  1
    Review: M. P. Schutzenberger, A Remark on Finite Transducers. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-297.
  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.  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  
  13.  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  
  14.  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  
  15.  36
    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  
  16.  22
    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.
  17.  12
    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  
  18.  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  
  19.  22
    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.
  20.  29
    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.
  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.  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.
  23.  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  
  24.  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  
  25.  16
    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  
  26.  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.
  27.  8
    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.
  28.  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.
  29.  12
    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.
  30.  21
    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.
  31.  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.
  32.  17
    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.
  33.  10
    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.
  34.  34
    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.
  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.  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  
  37.  12
    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  
  38.  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  
  39. 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  
  40.  90
    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  
  41.  64
    An islamic approach to the sustainability of democracy.M. O. Adeniyi - 2004 - Sophia 43 (2):95-103.
    The contemporary viewpoint of many scholars is that politics and religion are two parallel discourses which never meet; or that religion is a personal matter which should not be injected into politics. Their argument for taking this stand is that the two are incongruent and therefore, it is better these are left apart. But religion is associated with morals, truthfulness, honesty and a host of moral virtues all of which are mere playthings in the hands of so-called politicians, the consequence (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  11
    On Eozoön Canadense.M. Mitchell & Charles O'brien - 1971 - Isis 62:381-383.
  43. LANCE, M. and O'LEARY-HAWTHORNE, J.-The Grammar of Meaning.D. Pitt, M. Lance & J. O'Leary-Hawthorne - 2000 - Philosophical Books 41 (2):89-96.
     
    Export citation  
     
    Bookmark  
  44.  11
    In situstudy of radiation damage in thin foils of gold by high voltage electron microscopy.M. O. Ruault - 1977 - Philosophical Magazine 36 (4):835-857.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Was wissen wir durch die neuropsychologische 'Lokalisation von Funktionen'über Gehirn und Geist.M. O. Russ - 1997 - In Georg Northoff (ed.), Neuropsychiatrie und Neurophilosophie. Schöningh. pp. 89--103.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  6
    Intelligibility.M. O. Hocutt - 1974 - Proceedings of the XVth World Congress of Philosophy 3:349-351.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. The Negatives of Curriculum and Instruction.M. O. Akande - 2003 - Journal of Social Studies Research 27 (2):14-17.
     
    Export citation  
     
    Bookmark  
  48. Majority opinion in Tarasoff v. Regents of the University of California.M. O. Tobriner - 1988 - Bioethics 2:85-90.
     
    Export citation  
     
    Bookmark  
  49.  8
    Cracked dislocations at boundaries in two-material solids.M. O. Tucker - 1973 - Philosophical Magazine 28 (2):343-362.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  14
    Plane boundaries and straight dislocations in elastically anisotropic materials.M. O. Tucker - 1969 - Philosophical Magazine 19 (162):1141-1159.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000