Switch to: Citations

Add references

You must login to add references.
  1. Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants.Ludwik Borkowski - 1958 - Studia Logica 8 (1):283 - 297.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Le problème du fondement des propositions analytiques.Kazimierz Ajdukiewicz - 1958 - Studia Logica 8 (1):259-272.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A logical system based on rules and its application in teaching mathematical logicO pewnym systemie logicznym opartym na regułach i jego zastosowaniu przy nauczaniu logiki matematycznejОб одноИ логическоИ системе, основанноИ на правилах и об ее применении в преподавании математическоИ логики.Ludwik Borkowski & Jerzy Słupecki - 1958 - Studia Logica 7 (1):71-113.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A logical system based on rules and its application in teaching mathematical logic.Ludwik Borkowski & Jerzy Słupecki - 1958 - Studia Logica 7 (1):71 - 113.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Reduction of arithmetic to logic based on types theory without axiom of infinity and typical of arithmetical constants.L. Borkowski - 1958 - Studia Logica 8:283.
    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-6f97f49787-kd5kv uwo