The following pages link to (Q4132487):
Displaying 4 items.
- Herbrand deduction search strategies in predicate calculus. II (Q1147114) (← links)
- Some work of Lithuanian mathematicians in the domain of mathematical logic and programming (Q1158137) (← links)
- Free-variable semantic tableaux for the logic of fuzzy inequalities (Q2364294) (← links)
- (Q4250044) (← links)