10 found
Sort by:
  1. A. A. Markov, B. van Rootselaar & J. F. Staal (1975). An Approach to Constructive Mathematical Logic. Journal of Symbolic Logic 40 (1):85-85.
     
    My bibliography  
     
    Export citation  
  2. H. J. Keisler, B. van Rootselaar & J. F. Staal (1974). Models with Orderings. Journal of Symbolic Logic 39 (2):334-335.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. A. S. Troelstra, B. van Rootselaar & J. F. Staal (1973). The Theory of Choice Sequences. Journal of Symbolic Logic 38 (2):332-332.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. B. van Rootselaar (1971). A Class of Models for Intermediate Logics. Notre Dame Journal of Formal Logic 12 (3):358-362.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. B. van Rootselaar & J. F. Staal (1971). Logic, Methodology and Philosophy of Science. British Journal for the Philosophy of Science 22 (1):72-73.
     
    My bibliography  
     
    Export citation  
  6. B. van Rootselaar (1969). On Intuitionistic Difference Relations. Journal of Symbolic Logic 34 (3):519-520.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Methodology and Philosophy of Science International Congress for Logic, B. van Rootselaar & J. F. Staal (1968). Logic, Methodology and Philosophy of Science Iii Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967; Edited by B. Van Rootselaar and J.F. Staal. [REVIEW] North-Holland Pub. Co.
     
    My bibliography  
     
    Export citation  
  8. B. van Rootselaar & Frits Staal (eds.) (1968). Logic, Methodology and Philosophy of Science Iii. Amsterdam, North-Holland Pub. Co..
     
    My bibliography  
     
    Export citation  
  9. B. van Rootselaar & Frits Staal (1968). Logic, Methodology and Philosophy of Science Iii Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967. North-Holland Pub. Co.
     
    My bibliography  
     
    Export citation  
  10. B. van Rootselaar (1966). Algebraische Kennzeichnung Freier Wortarithmetiken. Journal of Symbolic Logic 31 (3):509-509.
    Direct download  
     
    My bibliography  
     
    Export citation