153,210원
Proof Theory:A Selection of Papers from the Leeds Proof Theory Programme 1990, Cambridge University Press
65,960원
Basic Proof Theory Paperback, Cambridge University Press
87,240원
Type Theory and Formal Proof, Cambridge University Press
50,140원
Logic Programming:Operational Semantics and Proof Theory, Cambridge University Press
93,740원
What Logics Mean:From Proof Theory to Model-Theoretic Semantics, Cambridge University Press
234,080원
Proof Theory Hardcover, Springer
203,840원
Handbook of Proof Theory Hardcover, Elsevier Science
20,950원
Proof Theory Paperback, Dover Publications
301,280원
Proof Theory of Modal Logic Hardcover, Springer
38,290원
The Theory of Cultural and Social Selection Paperback, Cambridge University Press
117,020원
Representation Theory:Selected Papers, Cambridge University Press
189,280원
A Proof Theory for General Unification Hardcover, Birkhauser
124,990원
"Computation Proof Machine", Cambridge University Press
155,680원
A Proof Theory for General Unification Paperback, Birkhauser
245,280원
Goal-Directed Proof Theory Paperback, Springer
133,280원
Advances in Proof Theory Hardcover, Birkhauser
79,780원
Logical Foundations of Proof Complexity, Cambridge University Press
230,880원
Ways of Proof Theory Hardcover, Walter de Gruyter
Goal-Directed Proof Theory Hardcover, Springer
157,800원
Advances in Proof Theory Paperback, Birkhauser
122,080원
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics Hardcover, Springer
48,930원
Kant`s Transcendental Proof of Realism, Cambridge University Press
Truth Proof and Infinity: A Theory of Constructive Reasoning Hardcover, Springer
67,140원
Proof Theory and Intuitionistic Systems Paperback, Springer
Truth Proof and Infinity: A Theory of Constructive Reasoning Paperback, Springer
124,480원
Logical Foundations of Proof Complexity Hardcover, Cambridge University Press
63,840원
The History of Mathematical Proof in Ancient Traditions, Cambridge University Press
22,960원
Proof Theory of N4-Paraconsistent Logics Paperback, College Publications
27,650원
"Burden of Proof Presumption and Argumentation", Cambridge University Press
50,420원
Proof Theory: The First Step Into Impredicativity Paperback, Springer
Proof Theory for Fuzzy Logics Paperback, Springer
166,880원
Proof Theory and Automated Deduction Paperback, Springer
96,700원
Phylogenetic Inference Selection Theory and History of Science: Selected Papers of A. W. F. Edward... Hardcover, Cambridge University Press, English, 9781107111721
191,600원
Reductive Logic and Proof-Search: Proof Theory Semantics and Control Hardcover, OUP Oxford
111,940원
Proof Theory: Sequent Calculi and Related Formalisms Hardcover, CRC Press
149,600원
Proof Complexity Hardcover, Cambridge University Press, English, 9781108416849
93,630원
A Theory of Property, Cambridge University Press
109,590원
Liberation from Self:A Theory of Personal Autonomy, Cambridge University Press
170,800원
(영문도서) Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction a... Hardcover, World Scientific Publishing..., English, 9789811236471
214,080원
Combinators λ-Terms and Proof Theory Hardcover, Springer
222,880원
Resolution Proof Systems: An Algebraic Theory Hardcover, Springer
19,050원
Mathematical Proof Theory Paperback, Createspace Independent Publishing Platform
The Semantics and Proof Theory of the Logic of Bunched Implications Paperback, Springer
225,120원
The History of Mathematical Proof in Ancient Traditions Hardcover, Cambridge University Press
Computer Aided Systems Theory - Eurocast ''97: A Selection of Papers from the Sixth International Works..., Springer
A Theory of the State Paperback, Cambridge University Press
Kant''s Transcendental Proof of Realism Hardcover, Cambridge University Press
The Semantics and Proof Theory of the Logic of Bunched Implications Hardcover, Springer
144,480원
Computer Aided Systems Theory - Eurocast ''95: A Selection of Papers from the Fifth International Works..., Springer
28,600원
The Scientific Proof of God: Unified Field Theory Revealed Paperback, Aviva Publishing
54,500원
(영문도서) The Burdens of Proof Paperback, Cambridge University Press, English, 9781107570481
Combinators λ-Terms and Proof Theory Paperback, Springer
Hybrid Logic and Its Proof-Theory Paperback, Springer
56,060원
A Treatise on Social Theory:The Methodology of Social Theory, Cambridge University Press
Proof Theory: History and Philosophical Significance Paperback, Springer
Resolution Proof Systems: An Algebraic Theory Paperback, Springer
210,670원
Hybrid Logic and Its Proof-Theory Hardcover, Springer
178,080원
Computer Aided Systems Theory - Eurocast''99: A Selection of Papers from the 7th International Workshop..., Springer
139,900원
(영문도서) The Science of Proof Hardcover, Cambridge University Press, English, 9781009198332
62,700원
The Theory of Electricity, Cambridge University Press
Evolutionary Game Theory Natural Selection and Darwinian Dynamics, Cambridge University Press
23,590원
The Theory of Evolution, Cambridge University Press
51,500원
Unpublished Scientific Papers of Isaac Newton:"A Selection from the Portsmouth Collection in th..., Cambridge University Press
89,600원
(영문도서) The Philosophy of Legal Proof Hardcover, Cambridge University Press, English, 9781009507394
240,800원
Theory Construction and Selection in Modern Physics:The S Matrix, Cambridge University Press
Liberation from Self: A Theory of Personal Autonomy Paperback, Cambridge University Press
40,300원
The Theory of Sound, Cambridge University Press
81,920원
Logic and Computation:Interactive Proof with Cambridge Lcf, Cambridge University Press
A Theory of Earnings Distribut, Cambridge University Press
Arithmetic Proof Theory and Computational Complexity Hardcover, OUP Oxford
24,620원
Telepathy: Its Theory Facts and Proof Hardcover, Cosimo Classics
47,860원
A Theory of Mediators` Ethics, Cambridge University Press
55,320원
"Metamathematics Machines and Godel`s Proof", Cambridge University Press
66,080원
Natural Selection and Social Theory: Selected Papers of Robert Trivers Paperback, Oxford University Press, USA
28,300원
(영문도서) The Philosophy of Legal Proof Paperback, Cambridge University Press, English, 9781009125048
The Theory of the Sublime from Longinus to Kant, Cambridge University Press
225,800원
180,880원
A Theory of Computer Semiotics, Cambridge University Press
54,260원
The Theory of Distributions:A Nontechnical Introduction, Cambridge University Press
45,900원
The Creevey Papers - Volume 2:A Selection from the Correspondence and Diaries of the Late Thoma..., Cambridge University Press
51,600원
Quantum Theory from First Principles, Cambridge University Press
107,500원
Proof and Falsity: A Logical Investigation Hardcover, Cambridge University Press, English, 9781108481304
8,380원
Telepathy: Its Theory Facts and Proof Paperback, Cosimo Classics
Theory of Holors, Cambridge University Press
The Creevey Papers - Volume 1:A Selection from the Correspondence and Diaries of the Late Thoma..., Cambridge University Press
The Myth of Theory Paperback, Cambridge University Press
The Theory of Ruled Surfaces, Cambridge University Press
209,440원
A Primer of Analytic Number Theory:From Pythagoras to Riemann, Cambridge University Press
170,240원
Evolutionary Game Theory Natural Selection and Darwinian Dynamics Hardcover, Cambridge University Press
120,230원
The Correspondence Theory of Truth, Cambridge University Press
127,570원
Specification and Proof in Real Time CSP, Cambridge University Press
Quantum Field Theory: A Selection of Papers in Memoriam Kurt Symanzik, Springer
Theory of Societal Constitutionalism:Foundations of a Non-Marxist Critical Theory, Cambridge University Press