[일반] 최초의 명제논리 계산 기계

[익명(220.72)]

하버드 생 둘이 논리학 수업 과제 하기 싫어서 발명

- dc official App

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(220.72)]

하버드의 위엄 - dc App

[ultraproduct(ultraproduct)]

콰인은 수리논리 쪽에도 조예가 깊었으니..ㅋㅋㅋ