|
@Jose_A_Alonso | |||||
|
Crash course on higher-order logic, type theory, etc. ~ Theodore Sider. tedsider.org/teaching/highe… #Logic via @RrrichardZach
|
||||||
|
||||||
|
Buddhuzlefthandman
@Buddhuzlefthand
|
24. sij |
|
The Abortion Debate
[Using Logic to solve a mystery]
ello.co/zteph/post/5qq…
|
||
|
||