Pages that link to "Item:Q1906674"
From MaRDI portal
The following pages link to A finitely axiomatized formalization of predicate calculus with equality (Q1906674):
Displaying 9 items.
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- Set theory in predicate calculus with equality (Q3322073) (← links)
- (Q3433180) (← links)
- (Q4133590) (← links)
- (Q4133596) (← links)
- (Q4438110) (← links)
- (Q4965820) (← links)
- (Q5441554) (← links)
- Investigations into proof structures (Q6653096) (← links)