Crossref Citations
                  This article has been cited by the following publications. This list is generated based on data provided by Crossref.
                                
                                    
                                    Cellucci, Carlo
                                  1980.
                                  Italian Studies in the Philosophy of Science.
                                  
                                  
                                  
                                  Vol. 47, 
                                  Issue. , 
                                
                                    p. 
                                    13.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Prawitz, Dag
                                  1981.
                                  Tome 1 Philosophie du langage, Logique philosophique / Volume 1 Philosophy of language, Philosophical logic.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    235.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Cellucci, Carlo
                                  1993.
                                  Bridging the Gap: Philosophy, Mathematics, and Physics.
                                  
                                  
                                  
                                  Vol. 140, 
                                  Issue. , 
                                
                                    p. 
                                    3.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Borga, Marco
                                  1997.
                                  Philosophy of Mathematics Today.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    39.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Došen, Kosta
                                  2003.
                                  Identity of Proofs Based on Normalization and Generality.
                                  
                                  
                                  Bulletin of Symbolic Logic, 
                                  Vol. 9, 
                                  Issue. 4, 
                                
                                    p. 
                                    477.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Bellin, Gianluigi
                                     and 
                                    Pozza, Carlo Dalla
                                  2017.
                                  Reflections on the Foundations of Mathematics.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    139.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Aschieri, Federico
                                    
                                    Ciabattoni, Agata
                                     and 
                                    Genco, Francesco Antonio
                                  2018.
                                  Classical Proofs as Parallel Programs.
                                  
                                  
                                  Electronic Proceedings in Theoretical Computer Science, 
                                  Vol. 277, 
                                  Issue. , 
                                
                                    p. 
                                    43.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Schroeder-Heister, Peter
                                  2022.
                                  Axiomatic Thinking I.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    145.
                                
                                
                        
                        
                        
                         
 
