User:Irvine.david/Books/thinkingnetworks

From Wikipedia, the free encyclopedia


Thinking Networks[edit]

Logic programming
First-order logic
Second-order logic