scientific article; zbMATH DE number 3090956
From MaRDI portal
Publication:5829776
Cited in
(8)- Inconsistencies in the argument leading to the rule of succession
- Jean van Heijenoort's conception of modern logic, in historical perspective
- A Brief History of Natural Deduction
- Examining the role of logic in teaching proof
- Stanisław Jaśkowski and Natural Deduction Systems
- Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH
- A folk meta-theorem in the foundations of utility theory
- Variable declarations in natural deduction
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5829776)
