Structural proof theory

Structural proof theory

Bibliographic Details
Main Author:	Negri, Sara 1967-
Other Authors:	von Plato, Jan
Format:	Book
Published:	United Kingdom : Cambridge University Press , 2001
Subjects:	Proof theory

Similar Items

Introduction to languages and the theory of computation
by: Martin, John C.
Published: (2003)

More or less a mess
by: Keenan, Sheila
Published: (1997)

Graphs
by: Pistoia, Sara
Published: (2017)

Graphs
by: Pistoia, Sara
Published: (2017)

Scattered data approximation
by: Wendland, Holger
Published: (2005)

Sort it!
by: Higgins, Nadia
Published: (2017)

Six degrees : the science of a connected age
by: Watts, Duncan J.
Published: (2003)

Infinitesimal : how a dangerous mathematical theory shaped the modern world
by: Alexander, Amir
Published: (2015)

Chapter zero : fundamental notions of abstract mathematics
by: Schumacher, Carol
Published: (2001)

Modal logic
by: Blackburn, Patrick
Published: (2001)

Numbers : Their history and meaning
by: Flegg, Graham
Published: (1984)

The puzzler's dilemma
by: Niederman, Derrick
Published: (2012)

Introducing infinity
by: Clegg, Brian
Published: (2012)

Number:Their history & meaning

The Rules of Contagion : Why Things Spread and Why They Stop
by: Kucharski, Adam
Published: (2020)

The secret life of equations : the 50 greatest equations and how they work
by: Cochrane, Rich
Published: (2016)

Why science does not disprove god
by: Aczel, Amir D
Published: (2014)

Hakikat kewujudan Allah
by: Prof Dr.Yusuf Qardhawi
Published: (2002)

The Case for a creator : a journalist investigates scientific evidence thet points toward god
by: Strobel, Lee
Published: (2004)

Quantum theory
by: Manning, Phillip
Published: (2011)

Conspiracy Theories
by: Cassam, Quassim
Published: (2019)

Civil proceedings : burden and standard of proof
by: Hamid Ibrahim
Published: (2012)

Quantum Theory : GREAT WORKS THAT SHAPE OUR WORLD
by: Planck, Max, et al.
Published: (2019)

A guide to game theory
by: Carmichael, Fiona
Published: (2005)

Personality theories : an introduction
by: Engler, Barbara
Published: (2003)

Cosmic jackpot : why our universe is just right for life
by: Davies, Paul
Published: (2007)

Music theory 101
by: Boone, Brian
Published: (2017)

Why there almost certainly is a good
by: Ward, Keith
Published: (2008)

The structure of paintings
by: Leyton, Michael
Published: (2006)

Linear control theory : the state space approach
by: Fairman, Frederick Walker
Published: (1998)

Music theory computer musicians
by: Cutchin, Rusty
Published: (2015)

Quantal density functional theory
by: Sahni, Viraht
Published: (2004)

Modern control system theory and design
by: Shinners, Stanley M.
Published: (1998)

Life.after.theory
Published: (2003)

Guitar Theory for dummies
by: Serna, Desi
Published: (2022)

Photography theory in historical perspective : case studies from contemporary art
by: Van Gelder, Hilde
Published: (2011)

Advanced modern control system theory and design
by: Shinners, Stanley M.
Published: (1998)

Germ theory
by: Goldstein, Natalie
Published: (2011)

Gender Theory in Trouble Times
by: Lennon, Kathleen, et al.
Published: (2020)

Proof [
by: Madden, John