The following pages link to (Q3770503):
Displaying 13 items.
- A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion}) (Q523297) (← links)
- A defense of second-order logic (Q660454) (← links)
- Adaptive Fregean set theory (Q831216) (← links)
- On the relevant systems \(P\) and \(P^*\) and some related systems (Q1068071) (← links)
- A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation (Q1590193) (← links)
- Paradoxes in double extension set theories (Q1876089) (← links)
- Paraconsistent set theory by predicating on consistency (Q2804321) (← links)
- (Q4300136) (← links)
- (Q4523458) (← links)
- (Q4795606) (← links)
- Notes on Inconsistent Set Theory (Q4912997) (← links)
- (Q4947596) (← links)
- Ayda Ignez Arruda e sua trajetória profissional e científica na UNICAMP (1968-1983) (Q5074101) (← links)
