The following pages link to Juliusz Reichbach (Q766670):
Displayed 41 items.
- Completeness of the functional calculus of first order (Q766671) (← links)
- On the first-order functional calculus and the truncation of models (Q2525163) (← links)
- A note about connection of the first-order functional calculus with many valued propositional calculi (Q2528921) (← links)
- On the connection of the first-order functional calculus with propositional calculus (Q2528922) (← links)
- Some examples of different methods of formal proofs with generalizations of the satisfiability definition (Q2533186) (← links)
- A note on theses of the first-order functional calculus (Q2534276) (← links)
- Some methods of formal proofs. III (Q2544393) (← links)
- A note to my paper: On characterizations of the first-order functional calculus (Q2553954) (← links)
- On the connection of the first-order functional calculus with many valued propositional calculi (Q2553955) (← links)
- On characterizations of the first-order functions calculus (Q2626396) (← links)
- Some characterizations of the first-order functional calculus (Q2626397) (← links)
- Über den auf Alternative und Negation aufgebauten Aussagenkalkül (Q2652282) (← links)
- On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus (Q3848964) (← links)
- (Q4053649) (← links)
- (Q4111003) (← links)
- (Q4149760) (← links)
- (Q4149761) (← links)
- (Q4186271) (← links)
- (Q4198791) (← links)
- (Q5518336) (← links)
- (Q5528193) (← links)
- (Q5538904) (← links)
- About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi (Q5547554) (← links)
- (Q5549138) (← links)
- (Q5552749) (← links)
- (Q5561957) (← links)
- (Q5566507) (← links)
- (Q5583055) (← links)
- (Q5583059) (← links)
- (Q5599824) (← links)
- (Q5617337) (← links)
- (Q5646896) (← links)
- (Q5646897) (← links)
- On Theses of the First‐Order Functional Calculus (Q5654008) (← links)
- (Q5654806) (← links)
- (Q5654807) (← links)
- (Q5661880) (← links)
- (Q5670625) (← links)
- (Q5672897) (← links)
- (Q5724774) (← links)
- (Q5731197) (← links)