도서/음반/DVD > 해외도서 > 과학/수학 > 수학 > 순수 수학
170,800원
역대최고가 170,800원
최근평균가 170,800원
역대최저가 150,800원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
(영문도서) Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction a... Hardcover, World Scientific Publishing..., English, 9789811236471
108,000원
Proof and Computation: Digitization in Mathematics Computer Science and Philosophy Hardcover, World Scientific Publishing..., English, 9789813270930
103,300원
(영문도서) Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Compu... Hardcover, World Scientific Publishing..., English, 9789811268533
122,080원
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics Hardcover, Springer
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics Paperback, Springer
81,200원
(영문도서) Set Theory and Foundations of Mathematics: Volume II: Foundations of Mathematics Hardcover, World Scientific Publishing..., English, 9789811243844
158,080원
Proof and Computation Paperback, Springer
192,300원
(영문도서) Mathematics for Computation (M4C) Hardcover, World Scientific Publishing..., English, 9789811245213
173,600원
Proof and Knowledge in Mathematics Hardcover, Routledge
53,260원
Computation Proof Machine: Mathematics Enters a New Age, Cambridge Univ Pr
139,000원
Theory and Practice of Computation - Proceedings of Workshop on Computation: Theory and Practice Wct... Hardcover, World Scientific Publishing..., English, 9789813279667
196,200원
(영문도서) Aspects of Computation and Automata Theory with Applications Hardcover, World Scientific Publishing..., English, 9789811278624
189,620원
Conical Intersections: Theory Computation and Experiment Hardcover, World Scientific Publishing Company
191,600원
Reductive Logic and Proof-Search: Proof Theory Semantics and Control Hardcover, OUP Oxford
301,280원
Proof Computation and Agency: Logic at the Crossroads Hardcover, Springer
61,540원
Mathematics and Politics: Strategy Voting Power and Proof Hardcover, Springer
153,210원
Proof Theory:A Selection of Papers from the Leeds Proof Theory Programme 1990, Cambridge University Press
51,000원
(영문도서) Exploring Mathematics: Problem-Solving and Proof Paperback, Springer, English, 9783319903194
133,050원
Theory and Practice of Computation: Proceedings of Workshop on Computation: Theory and Practice Wctp20..., World Scientific Publishing Company
128,800원
Theory and Practice of Computation - Proceedings of Workshop on Computation: Theory and Practice Wctp2..., World Scientific Publishing Company
139,100원
Theory and Practice of Computation - Proceedings of Workshop on Computation: Theory and Practice (Wctp..., World Scientific Publishing Company
46,800원
154,560원
214,080원
Combinators λ-Terms and Proof Theory Hardcover, Springer
45,520원
Exploring Mathematics Problem-Solving and Proof, Springer
234,080원
Proof Theory Hardcover, Springer
210,670원
Hybrid Logic and Its Proof-Theory Hardcover, Springer
114,910원
From Genetics to Mathematics Hardcover, World Scientific Publishing Company
Truth Proof and Infinity: A Theory of Constructive Reasoning Hardcover, Springer
119,200원
A Transition to Proof: An Introduction to Advanced Mathematics Hardcover, CRC Press
109,760원
Number Theory and Its Applications II Hardcover, World Scientific Publishing Company
181,800원
(영문도서) Fuzzy Logic Theory and Applications: Part I and Part II Hardcover, World Scientific Publishing..., English, 9789813238176
78,380원
Die Wechselwirkung Zwischen Zahlenrechnen Und Zahlentheorie Bei C. F. Gau Paperback, Vieweg+teubner Verlag
56,600원
(영문도서) Errors related to science concepts by students Paperback, LAP Lambert Academic Publis..., English, 9783659563317
10,200원
Self-Care Strategies For Empaths: Healing Yourself From Racial Trauma Toxic Relationships & More: M... Paperback, Independently Published, English, 9798715682291
5,600원
Find The Letter and Number Coloring Book Paperback, Independently Published, English, 9798705318919
59,100원
Tomita''s Lectures on Observable Algebras in Hilbert Space Paperback, Springer, English, 9783030688929
14,400원
The Value of φ The Golden Ratio 240 000 Digits: Famous Mathematics Constants Golden Mean Value ... Paperback, Independently Published, English, 9798619118773
78,700원
A Brief Journey in Discrete Mathematics Paperback, Springer, English, 9783030378639
7,700원
Sudoku for Beginners: 320 Easy Puzzles to Challenge Your Brain Paperback, Independently Published, English, 9798718991574
6,700원
2000+ Double Digit Addition and Subtraction Workbook: Maths Activity Book Ages 6-9 Double Digit Tr... Paperback, Independently Published, English, 9798700302418
116,500원
Modular Forms Paperback, Springer, English, 9783662221884
106,400원
(영문도서) Calculus Illustrated. Volume 5: Differential Equations Paperback, Independently Published, English, 9798502388559
8,700원
(영문도서) Sudoku Puzzles Easy to Medium: Large Print Sudoku Puzzle with Solutions Paperback, Independently Published, English, 9798502687416
84,800원
(영문도서) Fundamental Number Theory with Applications Paperback, CRC Press, English, 9780367387761
41,700원
A Gentle Course in Local Class Field Theory: Local Number Fields Brauer Groups Galois Cohomology Paperback, Cambridge University Press, English, 9781108432245
67,600원
(영문도서) Elementary Number Theory Paperback, CRC Press, English, 9781032017235
135,700원
(영문도서) Shimura Varieties Paperback, Cambridge University Press, English, 9781108704861
(영문도서) Journal of Applied Logics - IfCoLog Journal: Volume 5 number 8 November 2018 Paperback, College Publications, English, 9781848902916
20,500원
(영문도서) A View of Connexive Logics Paperback, College Publications, English, 9781848903708
179,400원
Set Optimization and Applications - The State of the Art: From Set Relations to Set-Valued Risk Meas... Paperback, Springer, English, 9783662511398
176,200원
(영문도서) Elementary Number Theory Hardcover, CRC Press, English, 9781032044187
6,000원
(영문도서) Ch05En: Ripsaw Paperback, Createspace Independent Pub..., English, 9781978192539
17,200원
(영문도서) Journal of Applied Logics Volume 8 Number 9 October 2021. Special issue: Reasoning with an... Paperback, College Publications, English, 9781848903784
13,100원
(영문도서) Excel Macros: How To Become An Expert In Microsoft Excel: Become An Expert In Vba Paperback, Independently Published
27,100원
(영문도서) Pepperdine Papers on Linear Temporal Logic Paperback, Lulu.com, English, 9781667140940
150,300원
(영문도서) Interpolation and Realization Theory with Applications to Control Theory: In Honor of Joe Ball Hardcover, Birkhauser
78,200원
(영문도서) Functional Analysis with Applications Paperback, de Gruyter, English, 9783110657692
102,000원
(영문도서) Optimal Control Hardcover, Springer, English, 9783030910280
91,000원
(영문도서) Solving Problems in Mathematical Analysis Part II: Definite Improper and Multidimensional I... Hardcover, Springer, English, 9783030368470
50,400원
(영문도서) Quadratic Number Fields Paperback, Springer, English, 9783030786519
67,800원
(영문도서) An Introduction to the Mathematical Theory of Inverse Problems Paperback, Springer, English, 9783030633455
68,300원
(영문도서) On the Theory of Maass Wave Forms Paperback, Springer, English, 9783030404772
113,600원
(영문도서) Operators Between Sequence Spaces and Applications Paperback, Springer, English, 9789811597442
57,100원
(영문도서) Foundations of Software Science and Computation Structures: 23rd International Conference Fo... Paperback, Springer, English, 9783030452308
116,600원
(영문도서) Recent Advances in Constructive Approximation Theory Paperback, Springer, English, 9783030063740
34,700원
(영문도서) Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications Volume 9 Is... Paperback, College Publications, English, 9781848903890