Switch to: Citations

Add references

You must login to add references.
  1. Logic for Mathematicians.A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Discussive sentential calculus of Jaśkowski.Jerzy Kotas - 1975 - Studia Logica 34 (2):149-168.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
    Download  
     
    Export citation  
     
    Bookmark   123 citations  
  • On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
    Download  
     
    Export citation  
     
    Bookmark   174 citations  
  • On the Jaśkowski's method of suppositions.Ewa Orłowska - 1975 - Studia Logica 34 (2):187-200.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • alpha-models and systems T and T.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15:443.
    Download  
     
    Export citation  
     
    Bookmark   12 citations