User:Irvine.david/Books/thinking network

Thinking Networks

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