c410

"c410"

• Sep 09, 2024 소온더즈 맥 레인 (2001) 수학 형식과 기능 - 카테고리이론
• Sep 08, 2024 정주희 (2015) 수리논리와 집합론 입문
• Jul 06, 2024 어니스트 네이글 (1983) 괴델의 증명
• Jun 03, 2024 루디 러커 (1988) 사고혁명: 마인드 도구 - 수 공간 논리 무한 정보
• May 29, 2024 토머스 닐스 (2024) 개발자를 위한 필수 수학 - 박해선
• May 22, 2024 신정수 (2024) AI를 위한 수학의 원리 과학기술철학
• Mar 07, 2024 강중빈 (2020) 수학 리부트
• Mar 05, 2024 마틴 데이비스 (2023) 유니버셜 컴퓨터