The following pages link to (Q4663833):
Displaying 6 items.
- Computer theorem proving in mathematics (Q704001) (← links)
- The \textsc{MetaCoq} project (Q2209542) (← links)
- Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} (Q2515772) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- Typical ambiguity and elementary equivalence (Q4304781) (← links)
- Feferman’s Forays into the Foundations of Category Theory (Q5214790) (← links)