Pages that link to "Item:Q2757973"
From MaRDI portal
The following pages link to A Brief History of Natural Deduction (Q2757973):
Displayed 4 items.
- Simplifying proofs in Fitch-style natural deduction systems (Q851139) (← links)
- Variable declarations in natural deduction (Q861825) (← links)
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (Q865631) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)