構成的な証明とは何か｜直観主義論理入門 - 記号論理学

id	29768
user_id	1056
roll_id	1868
order	36
language	ja
description
image_id	0
tag	[symbolic_logic:0.4][intuitionism:0.4][constructive:0.2]
created_time	1770313562
updated_time	1770313562