述語論理の完全性定理：記号論理学の到達点
コピー
id
29496
user_id
1056
roll_id
1868
order
26
language
ja
description
image_id
0
tag
[symbolic_logic:0.4][completeness:0.3][godel:0.3]
created_time
1769853662
updated_time
1769853662
← 戻る