The following pages link to (Q5341746):
Displaying 7 items.
- Four studies in metamathematics (Q1220068) (← links)
- A propositional calculus without the law of extensionality (Q2554691) (← links)
- Equivalence relations determining useful properties (Q2559398) (← links)
- An extension of the traditional logic containing the elementary ontology and the algebra of classes (Q2560134) (← links)
- (Q4077471) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- Andrzej Grzegorczyk, a Logician Par Excellence (Q4611703) (← links)
