Juliusz Reichbach

Publication Activity (10 Years)

Years Active: 1961-1971
Publications (10 Years): 0

Publications

Juliusz Reichbach
Some methods of formal proofs. III. Notre Dame J. Formal Log. 12 (4) (1971)
Juliusz Reichbach
Some examples of different methods of formal proofs with generalizations of the satisfiability definition. Notre Dame J. Formal Log. 10 (2) (1969)
Juliusz Reichbach
A note on theses of the first-order functional calculus. Notre Dame J. Formal Log. 9 (4) (1968)
Juliusz Reichbach
propositional calculus. Notre Dame J. Formal Log. 6 (1) (1965)
Juliusz Reichbach
A note about connection of the first-order functional calculus with many-valued propositional calculi. Notre Dame J. Formal Log. 5 (2) (1964)
Juliusz Reichbach
On the connection of the first-order functional calculus with many-valued propositional calculi. Notre Dame J. Formal Log. 3 (2) (1962)
Juliusz Reichbach
On characterizations of the first-order functional calculus. Notre Dame J. Formal Log. 2 (1) (1961)
Juliusz Reichbach
A note to my paper: "On characterizations of the first-order functional calculus". Notre Dame J. Formal Log. 2 (4) (1961)
Juliusz Reichbach
Errata: "On characterizations of the first-order functional calculus". Notre Dame J. Formal Log. 2 (4) (1961)