一階述語論理の「一階」って何？【第2回ソフトウェアトーク理工サイド交流祭】

一階述語論理の「一階」って何？【第2回ソフトウェアトーク理工サイド交流祭】

二階述語論理や高階述語論理について軽く話します。

http://www.nicovideo.jp/watch/sm42588152