Switch to: Citations

References in:

Orthoimplication algebras

Studia Logica 35 (2):173 - 177 (1976)

Add references

You must login to add references.
  1. (2 other versions)An Algebraic Approach to Non-Classical Logics.Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 citations  
  • An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
    Provability, Computability and Reflection.
    Download  
     
    Export citation  
     
    Bookmark   229 citations  
  • (2 other versions)The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
    Download  
     
    Export citation  
     
    Bookmark   96 citations