User:Irvine.david/Books/thinkingnetworks

Thinking Networks

 * Logic programming
 * First-order logic
 * Second-order logic