밴슨메이츠보다 메타이론에 대해 많이나옴?
코어논리가
익명(223.62)
2020-05-30 12:40
추천 0
댓글 2
다른 게시글
-
논리형 프로그래밍 언어의 타입에 [8]기괴공학도(mecheng98) | 20.05.29추천 1
-
원인 범주 뜻풀이익명(59.31) | 20.05.26추천 0
-
람다-프롤로그로 아주 간단한 증명보조기 만든 것 같아요 ㅠㅠ [2]기괴공학도(mecheng98) | 20.05.26추천 4
-
증명을 tree로 볼 때기괴공학도(mecheng98) | 20.05.25추천 0
-
사건인과랑 속성인과 차이좀 [1]익명(59.31) | 20.05.25추천 0
-
람다-프롤로그 추천해주셔서 정말 감사드립니다기괴공학도(mecheng98) | 20.05.24추천 1
-
동치관련질문 [3]asdf(125.137) | 20.05.24추천 1
-
논리학 신 있으시면 제발 도와주세요 ㅠ [1]냥(118.46) | 20.05.24추천 1
-
하스켈로 1차 논리 코딩해봤는데 [3]기괴공학도(mecheng98) | 20.05.23추천 3
-
이게 원천봉쇄의 오류에요? [1]익명(14.51) | 20.05.22추천 1
저거 그냥 이병덕 교수님 논리적 추론과 증명 개정판 비슷한 걸로 알아요 벤슨 메이츠가 내용은 더 많을거 같음
ㄱㅅ