The following pages link to (Q5416141):
Displaying 4 items.
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- The Role of Structural Reasoning in the Genesis of Graph Theory (Q5208125) (← links)