153,210원
Proof Theory:A Selection of Papers from the Leeds Proof Theory Programme 1990, Cambridge University Press
109,590원
Structural Proof Theory Hardcover, 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 Paperback, Springer
38,290원
The Theory of Cultural and Social Selection Paperback, Cambridge University Press
117,020원
Representation Theory:Selected Papers, Cambridge University Press
124,990원
"Computation Proof Machine", Cambridge University Press
155,680원
A Proof Theory for General Unification Paperback, Birkhauser
79,780원
Logical Foundations of Proof Complexity, Cambridge University Press
133,280원
Advances in Proof Theory Hardcover, Birkhauser
245,280원
Goal-Directed Proof Theory Hardcover, Springer
230,880원
Ways of Proof Theory Hardcover, Walter de Gruyter
157,800원
Advances in Proof Theory Paperback, Birkhauser
122,080원
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics Hardcover, Springer
Truth Proof and Infinity: A Theory of Constructive Reasoning Hardcover, Springer
48,930원
Kant`s Transcendental Proof of Realism, Cambridge University Press
67,140원
Proof Theory and Intuitionistic Systems Paperback, Springer
Truth Proof and Infinity: A Theory of Constructive Reasoning Paperback, Springer
27,650원
"Burden of Proof Presumption and Argumentation", Cambridge University Press
124,480원
Logical Foundations of Proof Complexity Hardcover, Cambridge University Press
22,960원
Proof Theory of N4-Paraconsistent Logics Paperback, College Publications
63,840원
The History of Mathematical Proof in Ancient Traditions, Cambridge University Press
96,700원
Phylogenetic Inference Selection Theory and History of Science: Selected Papers of A. W. F. Edward... Hardcover, Cambridge University Press, English, 9781107111721
166,880원
Proof Theory and Automated Deduction Paperback, Springer
191,600원
Reductive Logic and Proof-Search: Proof Theory Semantics and Control Hardcover, OUP Oxford
50,420원
Proof Theory: The First Step Into Impredicativity Paperback, Springer
111,940원
Proof Theory: Sequent Calculi and Related Formalisms Hardcover, CRC Press
149,600원
Proof Complexity Hardcover, Cambridge University Press, English, 9781108416849
The Semantics and Proof Theory of the Logic of Bunched Implications Paperback, Springer
93,630원
A Theory of Property, 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
Liberation from Self:A Theory of Personal Autonomy, Cambridge University Press
177,680원
A Theory of Freedom, Cambridge University Press
Kant''s Transcendental Proof of Realism Hardcover, Cambridge University Press
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
225,120원
The History of Mathematical Proof in Ancient Traditions Hardcover, Cambridge University Press
144,480원
Computer Aided Systems Theory - Eurocast ''95: A Selection of Papers from the Fifth International Works..., Springer
56,060원
A Treatise on Social Theory:The Methodology of Social Theory, Cambridge University Press
178,080원
Computer Aided Systems Theory - Eurocast 2001: A Selection of Papers from the 8th International Worksh..., Springer
Computer Aided Systems Theory - Eurocast ''89: A Selection of Papers from the International Workshop Eu..., Springer
The Semantics and Proof Theory of the Logic of Bunched Implications Hardcover, Springer
Computer Aided Systems Theory - Eurocast''99: A Selection of Papers from the 7th International Workshop..., Springer
A Theory of the State Paperback, Cambridge University Press
139,900원
(영문도서) The Science of Proof Hardcover, Cambridge University Press, English, 9781009198332
28,600원
The Scientific Proof of God: Unified Field Theory Revealed Paperback, Aviva Publishing
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
189,280원
Combinators λ-Terms and Proof Theory Paperback, Springer
Hybrid Logic and Its Proof-Theory Paperback, Springer
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
62,700원
The Theory of Electricity, Cambridge University Press
65,960원
Evolutionary Game Theory Natural Selection and Darwinian Dynamics, Cambridge University Press
47,860원
A Theory of Mediators` Ethics, Cambridge University Press
66,080원
Natural Selection and Social Theory: Selected Papers of Robert Trivers Paperback, Oxford University Press, USA
Liberation from Self: A Theory of Personal Autonomy Paperback, Cambridge University Press
The Theory of the Sublime from Longinus to Kant, Cambridge University Press
240,800원
Theory Construction and Selection in Modern Physics:The S Matrix, Cambridge University Press
A Theory of Argument Paperback, Cambridge University Press
225,800원
89,600원
(영문도서) The Philosophy of Legal Proof Hardcover, Cambridge University Press, English, 9781009507394
55,320원
"Metamathematics Machines and Godel`s Proof", 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
54,260원
The Theory of Distributions:A Nontechnical Introduction, Cambridge University Press
180,880원
A Theory of Computer Semiotics, Cambridge University Press
81,920원
Logic and Computation:Interactive Proof with Cambridge Lcf, Cambridge University Press
28,300원
(영문도서) The Philosophy of Legal Proof Paperback, Cambridge University Press, English, 9781009125048
107,500원
Proof and Falsity: A Logical Investigation Hardcover, Cambridge University Press, English, 9781108481304
45,900원
The Creevey Papers - Volume 2:A Selection from the Correspondence and Diaries of the Late Thoma..., Cambridge University Press
8,380원
Telepathy: Its Theory Facts and Proof Paperback, Cosimo Classics
The Creevey Papers - Volume 1:A Selection from the Correspondence and Diaries of the Late Thoma..., Cambridge University Press
Theory of Holors, 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
Theory of Societal Constitutionalism:Foundations of a Non-Marxist Critical Theory, Cambridge University Press
25,280원
Theory of Moves, Cambridge University Press
32,240원
The Theory of the Sublime from Longinus to Kant Paperback, Cambridge University Press
The Myth of Theory Paperback, Cambridge University Press
127,570원
Specification and Proof in Real Time CSP, Cambridge University Press
102,140원
The Theory of Social Situations, Cambridge University Press
Quantum Field Theory: A Selection of Papers in Memoriam Kurt Symanzik, Springer
27,980원
The Theory of Money Paperback, Cambridge University Press