Works by J. Reichbach

( view other items matching `J. Reichbach`, view all matches )
15 found
Order:
Disambiguations
Juliusz Reichbach [22]J. Reichbach [4]
  1.  16
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  40
    (1 other version)Completeness of the functional calculus of first order.J. Reichbach - 1955 - Studia Logica 2 (1):245-250.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  18
    On characterizations of the first-order functional calculus.Juliusz Reichbach - 1961 - Notre Dame Journal of Formal Logic 2 (1):1-15.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  37
    (1 other version)Über den auf alternative und negation aufgebauten aussagenkalkul.Juliusz Reichbach - 1953 - Studia Logica 1 (1):13 - 18.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  57
    (1 other version)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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  29
    A note on theses of the first-order functional calculus.Juliusz Reichbach - 1968 - Notre Dame Journal of Formal Logic 9 (4):335-339.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  19
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  24
    Some methods of formal proofs. III.Juliusz Reichbach - 1971 - Notre Dame Journal of Formal Logic 12 (4):479-482.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  19
    (2 other versions)About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi.Juliusz Reichbach - 1963 - Mathematical Logic Quarterly 9 (8‐9):117-124.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. (1 other version)O Alternatywno - negacyjnym rachunku zdań.Juliusz Reichbach - 1950 - Kwartalnik Filozoficzny 19 (3-4):361-365.
     
    Export citation  
     
    Bookmark  
  11.  59
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  46
    O pełnosci węzszego rachunku funkcyjnego.Juliusz Reichbach - 1955 - Studia Logica 2 (1):213-228.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  55
    On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1961 - Mathematical Logic Quarterly 7 (11-14):175-184.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  21
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  18
    Eichholz Thomas. Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 19–28. [REVIEW]J. Reichbach - 1959 - Journal of Symbolic Logic 24 (3):241-241.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark