Jump to content

User:Irvine.david/Books/thinkingnetworks

From Wikipedia, the free encyclopedia


Thinking Networks

[edit]
Logic programming
First-order logic
Second-order logic