The following pages link to A smart child of Peano's (Q1344434):
Displaying 5 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
