{
述語
}
{
素描
}
{
論理
}
(3)
{
述語論理
K#
F85E/9A7A
}
宇田川浩行
(4)
{
述語論理
}
{
量化子
}
{
一階述語論理
}
{
高階述語論理
}
(4)
{
述語論理
}
(1)
{
述語論理
K#
D657/DCDA
}
B̅
(1)
{
推件
}
{
述語論理
}
{
広告付き
}
{
素描
}
(3)
{
量化子
K#
F85E/CCF6
}
宇田川浩行
(1)
{
量化子
}
{
述語論理
}
{
素描
}
{
数理論理学
}
(3)
{
一階述語論理
K#
F85E/C441
}
宇田川浩行
{
述語論理
}
{
素描
}
{
数理論理学
}
(3)
{
高階述語論理
K#
F85E/393E
}
宇田川浩行
{
述語論理
}
{
}