The following pages link to (Q4530611):
Displaying 10 items.
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Constructive mathematics: a foundation for computable analysis (Q1292399) (← links)
- Logic in Russell's Principles of Mathematics (Q1374210) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613) (← links)
- Peano's axioms in their historical context (Q1899316) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- DA INTUIÇÃO À AXIOMATIZAÇÃO DA MATEMÁTICA: UMA ANÁLISE DIACRÔNICA DA TRANSPOSIÇÃO DIDÁTICA DOS CARDINAIS E ORDINAIS (Q5071523) (← links)
- Five stages of accepting constructive mathematics (Q5122448) (← links)
