The following pages link to (Q4277730):
Displaying 4 items.
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- A Meinongian way out of the Polish proofs against general objects (Q1633240) (← links)
- Is Kazimierz Ajdukiewicz's concept of a real definition still important? (Q2275100) (← links)
- Polish logic, language and philosophy of language (Q2702280) (← links)