소득공제
수입
직수입양서
Proof Theory
Sequent Calculi and Related Formalisms
Paperback, 1st Edition
Katalin Bimb
Chapman and Hall/CRC
2024.10.14.
이미 소장하고 있다면 판매해 보세요.
- 국내배송만 가능
- 해외 거래처 사정에 의하여 품절/지연 가능
- 도서 정보 중 미표기 사항 안내?
- 문화비소득공제 가능
Discrete Mathematics and Its Applications
-
Handbook of Combinatorial Algebraic Geometry 이동Handbook of Combinatorial Algebraic Geometry10% 541,120원 -
Introduction to Enumerative and Analytic Combinatorics 이동Introduction to Enumerative and Analytic Combinatorics10% 216,420원
-
Introduction to Enumerative and Analytic Combinatorics 이동Introduction to Enumerative and Analytic Combinatorics10% 118,600원
-
Introduction to Cryptography with Open-Source Software 이동Introduction to Cryptography with Open-Source Software10% 104,040원
-
Introduction to Cryptography with Mathematical Foundations and Computer Implementations 이동Introduction to Cryptography with Mathematical Foundations and Computer Implementations10% 131,090원
-
Handbook of Geometric Constraint Systems Principles 이동Handbook of Geometric Constraint Systems Principles10% 347,540원
-
Applications of Combinatorial Matrix Theory to Laplacian Matrices of Graphs 이동Applications of Combinatorial Matrix Theory to Laplacian Matrices of Graphs10% 129,010원
-
50 years of Combinatorics, Graph Theory, and Computing 이동50 years of Combinatorics, Graph Theory, and Computing10% 129,010원
-
Combinatorics and Number Theory of Counting Sequences 이동Combinatorics and Number Theory of Counting Sequences10% 106,110원
책소개
목차
|
Proofs and Proof Theory. Classical First-Order Logic. Variants of the First Sequent Calculi. Sequent Calculi for Non-Classical Logics. Consecution Calculi for Non-Classical Logics. Display Calculi and Hypersequents. Cut Rules and Cut Theorems. Some Other Proof Systems. Applications and Applied Calculi. Appendix. Bibliography. Index. |
품목정보
- 발행일
- 2024년 10월 14일
- 쪽수, 무게, 크기
- 386쪽 | 453g | 160*230mm
- ISBN13
- 9781032920771
리뷰/한줄평0
상품정보안내
직수입외서의 경우, 해외거래처에서 제공하는 정보가 부족하여 제목, 표지, 가격, 유통상태 등의 정보가 미비하거나 변경되는 경우가 있습니다. 정확한 확인을 원하시는 경우, 일대일 상담으로 문의하여 주시면 답변 드리겠습니다.
(판형과 판수 등이 다양한 도서는 찾으시는 도서의 ISBN을 알려 주시면 보다 빠르고 정확한 안내가 가능합니다.)
해외거래처에서 품절인 경우, 2차 거래선을 통해 유럽과 미국 출판사로 직접 수입이 진행될 수 있습니다.
수입 진행 시점으로 부터 2~3주가 추가로 소요되며, 해외에서도 유통이 원활하지 않은 도서는 품절 안내가 지연될 수 있습니다.
해당 경우, 문자와 메일로 별도 안내를 드리고 있사오니 마이페이지에서 휴대전화번호와 메일주소를 다시 한번 확인해주시기 바랍니다.
(판형과 판수 등이 다양한 도서는 찾으시는 도서의 ISBN을 알려 주시면 보다 빠르고 정확한 안내가 가능합니다.)
해외거래처에서 품절인 경우, 2차 거래선을 통해 유럽과 미국 출판사로 직접 수입이 진행될 수 있습니다.
수입 진행 시점으로 부터 2~3주가 추가로 소요되며, 해외에서도 유통이 원활하지 않은 도서는 품절 안내가 지연될 수 있습니다.
해당 경우, 문자와 메일로 별도 안내를 드리고 있사오니 마이페이지에서 휴대전화번호와 메일주소를 다시 한번 확인해주시기 바랍니다.
131,090원
총 1개
131,090원
