Switch to: Citations

Add references

You must login to add references.
  1. Z badan nad klasyczna logika nazw.W. Staszek - 1969 - Studia Logica 25:169.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A variant of the proof of completeness of first order functional calculus.J. Slupecki - 1961 - Studia Logica 12:125.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • O metodzie schematów logicznych I jej zastosowaniu do rachunków logicznych I W teorii konsekwencji.Roman Suszko - 1961 - Studia Logica 11 (1):215-215.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations.Roman Suszko - 1961 - Studia Logica 11 (1):185 - 216.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Pewien wariant dowodu pełności węższego rachunku funkcyjneogo.J. Słupecki & W. A. Pogorzelski - 1961 - Studia Logica 12 (1):131-132.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On proofs of rejection.Walenty Staszek - 1971 - Studia Logica 29 (1):17 - 25.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Uwagi o dowodzie sformalizowanym i konsekwencji.Leon Gumański - 1969 - Studia Logica 25 (1):151-156.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Zarys logiki matematycznej.Andrzej Grzegorczyk - 1973 - Warszawa,: Państwowe Wydawn. Naukowe.
    Download  
     
    Export citation  
     
    Bookmark   33 citations