形式的体系とは何か：証明を厳密に定義する - 記号論理学

id	29576
user_id	1056
roll_id	1868
order	31
language	ja
description
image_id	0
tag	[symbolic_logic:0.4][formal_system:0.3][proof_theory:0.3]
created_time	1769986862
updated_time	1769986862