수리논리학은 수학과 철학을 잇는 징검다리다. 그리고 그 핵심에 타르스키가 정립한 모델론이 있다. 타르스키는 ‘거짓말쟁이 역설’을 비롯한 의미론적 역설들을 농담이나 궤변으로 취급하지 않고 치밀하게 분석했다. 진리 개념과 논리적 귀결 개...
- 저자
- 박우석 저
- 출판사
- 커뮤니케이션북스
- 출판일
- 2024-10-08
2025년, 우리는 AI와 더 깊이 연결되는 ‘AI 2학년’이 되었다. 절대 놓쳐서는 안 될 2025년 AI 트렌드와 활용법. 10여 년 동안 IT 트렌드의 최전선에서 대중들과 함께 호흡해온 김덕진 IT커뮤니케이션연구소장이 MS, 구...
- 저자
- 김덕진 저
- 출판사
- 스마트북스
- 출판일
- 2024-12-10
과학 분야 스테디셀러 『질병 정복의 꿈, 바이오 사이언스』 개정판으로 출간!21세기는 바이오 시대!인류, 질병에 도전하고 건강을 욕망하다미국의 열정적이고 치열한 바이오 의약품 연구가 전 세계적으로 주목받고 있는 가운데, 비만 치료제와...
- 저자
- 이성규 저
- 출판사
- MID 엠아이디
- 출판일
- 2024-06-26
[해외원서] Name Your Symptom
Harmon, Jim 저
Project Gutenberg 2016-06-21 예스이십사
도서 소개가 없습니다.
- 보유 2
- 대출 0
- 예약 0
[해외원서] Nan Sherwood at Rose Ranch; Or, The Old Mexican`s Treasure
Carr, Annie Roe 저
Project Gutenberg 2016-06-21 예스이십사
도서 소개가 없습니다.
- 보유 2
- 대출 0
- 예약 0
Winsor, Justin 저
Project Gutenberg 2016-06-21 예스이십사
도서 소개가 없습니다.
- 보유 2
- 대출 0
- 예약 0
[해외원서] Nature`s Serial Story
Roe, Edward Payson 저
Project Gutenberg 2016-06-21 예스이십사
도서 소개가 없습니다.
- 보유 2
- 대출 0
- 예약 0
[해외원서] Ned, Bob and Jerry at Boxwood Hall Or The Motor Boys as Freshmen
Young, Clarence 저
Project Gutenberg 2016-06-21 예스이십사
도서 소개가 없습니다.
- 보유 2
- 대출 0
- 예약 0
[해외원서] New Lights on Old Paths
Foster, Charles 저
Project Gutenberg 2016-06-21 예스이십사
도서 소개가 없습니다.
- 보유 2
- 대출 0
- 예약 0
[해외원서] Nice Girl With 5 Husbands
Leiber, Fritz 저
Project Gutenberg 2016-06-21 예스이십사
도서 소개가 없습니다.
- 보유 2
- 대출 0
- 예약 0
[해외원서] No Defense, Complete
Parker, Gilbert 저
Project Gutenberg 2016-06-21 예스이십사
도서 소개가 없습니다.
- 보유 2
- 대출 0
- 예약 0
[해외원서] No Defense, Volume 1.
Parker, Gilbert 저
Project Gutenberg 2016-06-21 예스이십사
도서 소개가 없습니다.
- 보유 2
- 대출 0
- 예약 0
[해외원서] No Defense, Volume 2.
Parker, Gilbert 저
Project Gutenberg 2016-06-21 예스이십사
도서 소개가 없습니다.
- 보유 2
- 대출 0
- 예약 0