18 found
Order:
  1.  27
    Über den Auf Alternative Und Negation Aufgebauten Aussagenkalkul.Juliusz Reichbach - 1953 - Studia Logica 1 (1):13 - 18.
  2.  3
    A Note to My Paper: ``On Characterizations of the First-Order Functional Calculus''.Juliusz Reichbach - 1961 - Notre Dame Journal of Formal Logic 2 (4):251-252.
  3.  13
    On the First-Order Functional Calculus and the Truncation of modelsO Węższym Rachunku Funkcyjnym I Ucinaniu ModeliОб Узком Функциональном Исчислении И Срезывании Моделей.Juliusz Reichbach - 1958 - Studia Logica 7 (1):181-220.
  4.  20
    About Connection of the First-Order Functional Calculus With Many Valued Propositional Calculi.Juliusz Reichbach - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (8-9):117-124.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  19
    On Theses of the First-Order Functional Calculus.Juliusz Reichbach - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (11-14):175-184.
  6.  21
    On the First-Order Functional Calculus and the Truncation of Models.Juliusz Reichbach - 1958 - Studia Logica 7 (1):181 - 220.
  7.  18
    On Generalization of the Satisfiability Definition and Proof Rules With Remarks to My Paper: On Theses of the First-Order Functional Calculus.Juliusz Reichbach - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (3-4):267-276.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  25
    O Pełnosci Węzszego Rachunku Funkcyjnego.Juliusz Reichbach - 1955 - Studia Logica 2 (1):213-228.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  4
    On Characterizations of the First-Order Functional Calculus.Juliusz Reichbach - 1961 - Notre Dame Journal of Formal Logic 2 (1):1-15.
  10.  8
    On Generalization of the Satisfiability Definition and Proof Rules With Remarks to My Paper: On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1962 - Mathematical Logic Quarterly 8 (3‐4):267-276.
  11.  12
    A Note About Connection of the First-Order Functional Calculus with Many-Valued Propositional Calculi.Juliusz Reichbach - 1964 - Notre Dame Journal of Formal Logic 5 (2):158-160.
  12.  6
    On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1961 - Mathematical Logic Quarterly 7 (11‐14):175-184.
  13.  5
    Some Methods of Formal Proofs. III.Juliusz Reichbach - 1971 - Notre Dame Journal of Formal Logic 12 (4):479-482.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi.Juliusz Reichbach - 1963 - Mathematical Logic Quarterly 9 (8‐9):117-124.
  15.  4
    A Note on Theses of the First-Order Functional Calculus.Juliusz Reichbach - 1968 - Notre Dame Journal of Formal Logic 9 (4):335-339.
  16.  4
    Some Examples of Different Methods of Formal Proofs with Generalizations of the Satisfiability Definition.Juliusz Reichbach - 1969 - Notre Dame Journal of Formal Logic 10 (2):214-224.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. O Alternatywno - negacyjnym rachunku zdań.Juliusz Reichbach - 1950 - Kwartalnik Filozoficzny 19 (3-4):361-365.
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  10
    On the Connections of the First-Order Functional Calculus with [Symbol] o Propositional Calculus.Juliusz Reichbach - 1965 - Notre Dame Journal of Formal Logic 6:73.