Crossref Citations
                  
                    
                    
                      
                        This article has been cited by the following publications. This list is generated based on data provided by 
    Crossref.
                     
                   
                  
                        
                          
                                
                                
                                    
                                    Rootselaar, B. van
                                  1955.
                                  Generating schemes for full mappings.
                                  
                                  
                                  Indagationes Mathematicae (Proceedings), 
                                  Vol. 58, 
                                  Issue. , 
                                
                                    p. 
                                    646.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Rootselaar, B. van
                                  1955.
                                  On the mapping of spreads.
                                  
                                  
                                  Indagationes Mathematicae (Proceedings), 
                                  Vol. 58, 
                                  Issue. , 
                                
                                    p. 
                                    557.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                  1956.
                                  Intuitionism an Introduction.
                                  
                                  
                                  
                                  Vol. 17, 
                                  Issue. , 
                                
                                    p. 
                                    123.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Kleene, S.C.
                                  1956.
                                  A Note on Computable Functionals.
                                  
                                  
                                  Indagationes Mathematicae (Proceedings), 
                                  Vol. 59, 
                                  Issue. , 
                                
                                    p. 
                                    275.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Heyting, von A.
                                  1958.
                                  BLICK VON DER INTUITIONISTISCHEN WARTE.
                                  
                                  
                                  dialectica, 
                                  Vol. 12, 
                                  Issue. 3-4, 
                                
                                    p. 
                                    332.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                  1958.
                                  Foundations of Set Theory.
                                  
                                  
                                  
                                  Vol. 23, 
                                  Issue. , 
                                
                                    p. 
                                    349.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                  1965.
                                  The Foundations of Intuitionistic Mathematics.
                                  
                                  
                                  
                                  Vol. 39, 
                                  Issue. , 
                                
                                    p. 
                                    187.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                  1966.
                                  Intuitionism An Introduction.
                                  
                                  
                                  
                                  Vol. 41, 
                                  Issue. , 
                                
                                    p. 
                                    127.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Howard, W. A.
                                     and 
                                    Kreisel, G.
                                  1966.
                                  Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis.
                                  
                                  
                                  Journal of Symbolic Logic, 
                                  Vol. 31, 
                                  Issue. 3, 
                                
                                    p. 
                                    325.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Schultz, Konrad
                                  1967.
                                  Spreadtheorie und Intuitionistische Topologie.
                                  
                                  
                                  Mathematical Logic Quarterly, 
                                  Vol. 13, 
                                  Issue. 16-18, 
                                
                                    p. 
                                    251.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    van Dalen, Dirk
                                  1968.
                                  Fans Generated by Nondeterministic Automata.
                                  
                                  
                                  Mathematical Logic Quarterly, 
                                  Vol. 14, 
                                  Issue. 18, 
                                
                                    p. 
                                    273.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Van Dalen, Dirk
                                  1968.
                                  Reductibilities in intuitionistic topology.
                                  
                                  
                                  Journal of Symbolic Logic, 
                                  Vol. 33, 
                                  Issue. 3, 
                                
                                    p. 
                                    412.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                  1968.
                                  Logic, Methodology and Philosophy of Science III.
                                  
                                  
                                  
                                  Vol. 52, 
                                  Issue. , 
                                
                                    p. 
                                    201.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                  1970.
                                  Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
                                  
                                  
                                  
                                  Vol. 60, 
                                  Issue. , 
                                
                                    p. 
                                    187.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Ashvinikumar
                                  1970.
                                  On the intuitionist theory of stieltjes integration and its applications.
                                  
                                  
                                  Indagationes Mathematicae (Proceedings), 
                                  Vol. 73, 
                                  Issue. , 
                                
                                    p. 
                                    62.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Ashvinikumar
                                  1970.
                                  On Brouwer-Stieltjes integration.
                                  
                                  
                                  Indagationes Mathematicae (Proceedings), 
                                  Vol. 73, 
                                  Issue. , 
                                
                                    p. 
                                    161.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Kreisel, G.
                                     and 
                                    Troelstra, A.S.
                                  1970.
                                  Formal systems for some branches of intuitionistic analysis.
                                  
                                  
                                  Annals of Mathematical Logic, 
                                  Vol. 1, 
                                  Issue. 3, 
                                
                                    p. 
                                    229.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Ashvinikumar
                                     and 
                                    Shukla, Sahab Lal
                                  1971.
                                  Intuitionist determination of dual spaces of certain catalogued linear spaces. II.
                                  
                                  
                                  Indagationes Mathematicae (Proceedings), 
                                  Vol. 74, 
                                  Issue. , 
                                
                                    p. 
                                    251.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Shukla, Sahab Lal
                                  1972.
                                  Intuitionist treatment of some spaces of sequences.
                                  
                                  
                                  Indagationes Mathematicae (Proceedings), 
                                  Vol. 75, 
                                  Issue. 2, 
                                
                                    p. 
                                    139.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Lal Shukla, Sahab
                                  1972.
                                  On some linear spaces which coincide classically but are different intuitionistically.
                                  
                                  
                                  Indagationes Mathematicae (Proceedings), 
                                  Vol. 75, 
                                  Issue. 3, 
                                
                                    p. 
                                    275.