Jon Barwise et al. (2024) 언어 증명 및 논리 LPL

• #정주희: #수리논리 #집합론 #머신러닝 #수학

Language, Proof and Logic - en.wikipedia.org

Jon Barwise and John Etchemendy 2024 "언어 증명 및 논리 LPL"

(NO_ITEM_DATA:410.1-존68ㅇ)

Language, Proof and Logic

Related-Notes

References

NO_ITEM_DATA:410.1-존68ㅇ