Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)A solution of the decision problem for the Lewis systems s2 and s4, with an application to topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • Remarks on classification of theories by their complete extensions.Karel L. de Bouvère - 1969 - Notre Dame Journal of Formal Logic 10 (1):1-17.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-6f9648bdd6-8h97j uwo