健全性と完全性：証明と意味論の対応関係 - 記号論理学

id	29370
user_id	1056
roll_id	1868
order	18
language	ja
description
image_id	0
tag	[symbolic_logic:0.4][soundness:0.3][completeness:0.3]
created_time	1769638562
updated_time	1769638562