First-order logic

w

 

https://en.wikipedia.org/wiki/First-order_logic

 

posted @ 2017-05-04 23:24  papering  阅读(161)  评论(0)    收藏  举报