10 found
Order:
  1.  7
    On the Use of Hilbert's Ε-Operator in Scientific Theories.Rudolf Carnap, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1971 - Journal of Symbolic Logic 36 (2):320-321.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  7
    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.  5
    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.
  4.  5
    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.  14
    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.  4
    Logique Formalisée Et Raisonnement Juridique.Robert Feys, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson & Jan Gregorowicz - 1968 - Journal of Symbolic Logic 33 (1):141-142.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  2
    On Non-Standard Models for Number Theory.Elliott Mendelson, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):128-128.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  4
    Concerning the Problem of Axiomatizability of the Field of Real Numbers in the Weak Second Order Logic.Andrzej Mostowski, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):130-131.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  7
    Non-Standard Models and Independence of the Induction Axiom.Michael O. Rabin, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1973 - Journal of Symbolic Logic 38 (1):159-159.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  10
    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.