The following pages link to (Q3077969):
Displayed 5 items.
- Schönfinkel-type operators for classical logic (Q993497) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- The Near Riot Over Negative Facts (Q3295773) (← links)
- On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs (Q4608221) (← links)
- Poincaré in Göttingen (Q5265027) (← links)