User:Irvine.david/Books/thinking network

From Wikipedia, the free encyclopedia


Thinking Networks[edit]

Logic programming
First-order logic
Second-order logic