First-order logic

w

 

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

 

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