User:Irvine.david/Books/thinkingnetworks


Thinking Networks

edit
Logic programming
First-order logic
Second-order logic