User:Irvine.david/Books/thinking network


Thinking Networks

edit
Logic programming
First-order logic
Second-order logic