알라딘

중고외국도서
가정/원예/인테리어
가족/관계
건강/스포츠
건축/디자인
경제경영
공예/취미/수집
교육/자료
기술공학
달력/다이어리/연감
만화
법률
소설/시/희곡
수험서
어린이
언어학
에세이
여행
역사
예술/대중문화
오디오북
요리
유머
의학
인문/사회
자기계발
과학/수학/생태
전기/자서전
종교/명상/점술
청소년
컴퓨터
해외잡지
ELT/어학/사전
기타 언어권 도서
일본 도서
중국 도서
독일 도서
스페인 도서
한국관련도서
문구/비도서
고서/희귀본

 
온라인중고  > 
중고국내도서
  > 
과학/수학/생태
 > 
수학
 > 
논리

이 분야에 227개의 상품이 있습니다.  중고 모두 보기알라딘 직배송 중고 보기우주점 중고
상품명순출간일순등록일순저가격순고가격순베스트순
옵션 설정
24개

[중고-최상] Essays in Radical Empiricism (Paperback)
James, William | Dover Pubns
17,280원→6,000원(65%)
최저가 판매자 배송

[중고-상] Doing Mathematics: An Introduction to Proofs and Problem-Solving (Paperback, 2)
Steven Galovich | Brooks/Cole Pub Co
442,420원→113,800원(74%)
최저가 이 광활한 우주점

[중고-중] Godel, Escher, Bach: An Eternal Golden Braid (Paperback, 20, Anniversary)
Douglas R. Hofstadter 지음 | Basic Books
34,900원→11,800원(66%)
최저가 판매자 배송

[중고-최상] Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Hardcover, 2008)
U. Kohlenbach | Springer Verlag
260,790원→30,000원(88%)
최저가 판매자 배송

[중고-상] Lectures on the Curry-Howard Isomorphism (Hardcover, 149 ed)
Morten Heine Sorensen | Elsevier Science Ltd
312,750원→60,000원(81%)
최저가 판매자 배송

[중고-최상] Handbook of Logic and Proof Techniques for Computer Science (Hardcover)
Krantz, Steven G. | BIRKHAUSER
93,730원→25,000원(73%)
최저가 판매자 배송

[중고-상] Lambda-Calculus and Combinators : An Introduction (Hardcover, 2 Revised edition)
J. Roger Hindley | Cambridge Univ Pr
129,020원→30,000원(77%)
최저가 판매자 배송

[중고-상] Domains and Lambda-Calculi (Hardcover)
Roberto M. Amadio | Cambridge Univ Pr
262,550원→40,000원(85%)
최저가 판매자 배송

[중고-상] Introduction to Mathematical Logic (Pms-13), Volume 13 (Paperback, Revised)
Alonzo Church | Princeton Univ Pr
172,010원→35,000원(80%)
최저가 판매자 배송

[중고-상] Basic Simple Type Theory (Hardcover)
J. Roger Hindley | Cambridge Univ Pr
182,450원→40,000원(78%)
최저가 판매자 배송

[중고-중] Adapting Proofs-As-Programs: The Curry--Howard Protocol (Hardcover, 2005)
Iman Hafiz Poernomo | Springer-Verlag New York Inc
281,230원→100,000원(64%)
최저가 판매자 배송

[중고-최상] Natural Deduction: A Proof-Theoretical Study (Paperback)
Dag Prawitz | Dover Pubns
17,280원→5,000원(71%)
최저가 판매자 배송

[중고-최상] Handbook of Proof Theory (Hardcover)
Samuel R. Buss | Elsevier Science Ltd
338,810원→30,000원(91%)
최저가 판매자 배송

[중고-최상] Automated Theorem Proving: Theory and Practice (Hardcover, 2001)
Monroe Newborn | Springer Verlag
281,230원→28,000원(90%)
최저가 판매자 배송

[중고-최상] Interactive Theorem Proving and Program Development: Coq‘art: The Calculus of Inductive Constructions (Hardcover, 2004)
Yves Bertot | Springer-Verlag New York Inc
206,230원→35,000원(83%)
최저가 판매자 배송

[중고-최상] A Course in Mathematical Logic (Hardcover)
J. L. Bell | North-Holland
126,750원→30,000원(76%)
최저가 판매자 배송

[중고-최상] An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Hardcover, 2)
Peter B. Andrews | Kluwer Academic Pub
243,730원→25,000원(90%)
최저가 판매자 배송

[중고-최상] Structural Proof Theory (Hardcover)
Sara Negri | Cambridge Univ Pr
164,620원→35,000원(79%)
최저가 판매자 배송

[중고-최상] Formal Correctness of Security Protocols (Hardcover)
Giampaolo Bella | Springer Verlag
93,730원→25,000원(73%)
최저가 판매자 배송

[중고-상] Proof Theory: The First Step Into Impredicativity (Paperback)
Wolfram Pohlers | Springer Verlag
131,230원→25,000원(81%)
최저가 판매자 배송

[중고-상] An Introduction to Substructural Logics (Paperback)
Greg Restall | Routledge
82,300원→17,000원(79%)
최저가 판매자 배송

[중고-상] The Calculus of Computation: Decision Procedures with Applications to Verification (Hardcover)
Aaron R. Bradley | Springer-Verlag New York Inc
131,230원→20,000원(85%)
최저가 판매자 배송

[중고-최상] Logic and Structure (Paperback, 4)
Dirk Van Dalen | Springer Verlag
95,470원→25,000원(74%)
최저가 판매자 배송

[중고-최상] Introduction to Lattices and Order (Paperback, 2 Revised edition)
B. A. Davey | Cambridge Univ Pr
91,200원→20,000원(78%)
최저가 판매자 배송

(주)알라딘커뮤니케이션

대표이사 최우경 고객정보보호 책임자 최우경 사업자등록 201-81-23094 통신판매업신고 중구01520호 이메일 privacy@aladin.co.kr 호스팅 제공자 알라딘커뮤니케이션 (본사) 서울시 중구 서소문로 89-31
ⓒ Aladin Communication. All Rights Reserved.

고객센터 1544-2514 (발신자 부담)

서울시 마포구 백범로 71 숨도빌딩 7층 Fax 02-6926-2600
1:1 문의 FAQ
중고매장 위치, 영업시간 안내