Sign-In
Cart
Structural Proof Theory
Hardcover
FictionLogicProbability & Statistics
Please select the version of book you would like to purchase.
ISBN10: 0521793076
ISBN13: 9780521793070
Publisher: Cambridge University Press
Published: Jun 18 2001
Pages: 276
Weight: 1.30
Height: 0.80 Width: 5.90 Depth: 9.00
Language: English
ISBN13: 9780521793070
Publisher: Cambridge University Press
Published: Jun 18 2001
Pages: 276
Weight: 1.30
Height: 0.80 Width: 5.90 Depth: 9.00
Language: English
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
1 different editions
Also available
Also in
Logic
The Fallacy Detective: Thirty-Eight Lessons on How to Recognize Bad Reasoning
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
$35.00
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends 1
Carley, Shane
Paperback
$12.30
The Thinking Toolbox: Thirty-Five Lessons That Will Build Your Reasoning Skills
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
$35.00
Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic
Withey, Michael
Paperback
$16.14
Walden - On Walden Pond - Life in the Woods - The Transcendentalist Masterpiece
Thoreau, Henry David
Paperback
$16.24
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends
Carley, Shane
Hardcover
$18.95
The Pig That Wants to Be Eaten: 100 Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
$17.10
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number
Frege, Gottlob
Paperback
$30.00
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Hardcover
$47.45
Socratic Logic: Edition 3.1: A Logic Text Using Socratic Method, Platonic Questions, & Aristotelian Principles
Kreeft, Peter
Hardcover
$63.00
The Art of Logical Thinking: Inductive, Deductive and Hypothetical Reasoning and the Use of Syllogisms and Fallacies
Atkinson, William Walker
Paperback
$11.23
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Paperback
$28.45
Good Reasoning Matters!: A Guide to Critical Thinking in a Digital Age, Sixth Edition
Carozza, Linda
Tindale, Christopher W.
Groarke, Leo
Paperback
$104.93
The Power of Critical Thinking: Effective Reasoning about Ordinary and Extraordinary Claims
Vaughn, Lewis
Paperback
$154.49
Nonsense: Red Herrings, Straw Men and Sacred Cows: How We Abuse Logic in Our Everyday Language
Gula, Robert J.
Paperback
$11.40
Deleuze's Philosophy of Time and Logic: Kant, Bergson, and the Labyrinth of the Continuum
Paetsch, Charles John
Hardcover
$172.50
Swirling Symmetry: Thoughts and Images on Mathematics, Motion & Pattern
Coleman, Sandra DeLozier
Hardcover
$23.70
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University
Cooke, Belinda
Morris, Laurence
Beesley, Paula
Paperback
$35.00
The Duck That Won the Lottery: 100 New Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
$22.00
Tractatus Logico-Philosophicus (Chiron Academic Press - The Original Authoritative Edition)
Wittgenstein, Ludwig
Paperback
$9.13
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University
Cooke, Belinda
Morris, Laurence
Beesley, Paula
Hardcover
$58.80
Master Your Mind: Critical-Thinking Exercises and Activities to Boost Brain Power and Think Smarter
Danesi, Marcel
Paperback
$15.19
Gateway to the Stoics: Marcus Aurelius's Meditations, Epictetus's Enchiridion, and Selections from Seneca's Letters
Aurelius, Marcus
Epictetus
Seneca
Paperback
$17.10
With All Your Mind: A Course on Logic and Argument for the Christian Classroom
Finkbeiner, Brad Paul
Paperback
$23.99
How to Think about the Great Ideas: From the Great Books of Western Civilization
Adler, Mortimer
Paperback
$49.35
One: Being an Investigation Into the Unity of Reality and of Its Parts, Including the Singular Object Which Is Nothingness
Priest, Graham
Hardcover
$166.75
The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
Prince, Hal
Paperback
$11.64
Critical Thinking: Tools for Taking Charge of Your Professional and Personal Life
Paul, Richard
Elder, Linda
Hardcover
$70.00
Critical Reasoning: A Romp through the Foothills of Logic for the Complete Beginner
Talbot, Marianne
Paperback
$27.59
The Theory of Moral Sentiments (Royal Collector's Edition) (Case Laminate Hardcover with Jacket)
Smith, Adam
Hardcover
$62.49
Good Thinking: Why Flawed Logic Puts Us All at Risk and How Critical Thinking Can Save the World
Grimes, David Robert
Paperback
$17.05
Autonomy, Consciousness, and Personhood: A Primer for the Public Dialogue on Abortion
Bujno, Stephen
Hardcover
$54.15
Playing God with Emerging Technologies: How to Avoid the Traps of Techno-Optimism and Techno-Pessimism
Mizrahi, Moti
Hardcover
$165.00
Stoic Quotes: 365 Daily Reflections & Thoughts of Wisdom to Strengthen your Perspective.
Harris, Tate
Paperback
$12.34