Szukaj
Wyświetlanie pozycji 1-1 z 1
The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. ...