The following pages link to (Q4698612):
Displaying 5 items.
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- Automated search for Gödel's proofs (Q1772785) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Constructibility and decidability versus domain independence and absoluteness (Q2482456) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
