Structural proof theory

QR Code

Structural proof theory

Enregistré dans:

Détails bibliographiques
Auteur principal:	Negri, Sara
Format:	Livre
Langue:	Undetermined
Publié:	Cambridge, UK Cambridge Univ. Press 2001
Sujets:	Proof theory
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Documents similaires

Structural proof theory
par: Sara Negri
Publié: (2001)

Proof patterns
par: Mark Joshi
Publié: (2015)

Problems and Proofs in Numbers and Algebra
par: Millman, Richard S, et autres
Publié: (2015)

Dag Prawitz on Proofs and Meaning
par: Wansing, Heinrich
Publié: (2015)

The nuts and bolts of proofs
par: Cupillari, Antonella
Publié: (2005)

The Quadratic Reciprocity Law (A Collection of Classical Proofs)
par: Baumgart, Oswald
Publié: (2015)

Evidence, proof, and facts
par: Murphy, Peter
Publié: (2003)

Enumerating proofs of positive formulae /
par: Dowek, Gilles.

Strategy-proofness and the tops-only property /
par: Weymark, John A.

Theorems, corollaries, lemmas, and methods of proof
par: Rossi, Richard J.
Publié: (2006)

Tests and Proofs
Publié: (2020)

Proofs from THE BOOK. 6th ed.
par: Aigner, Martin, et autres
Publié: (2020)

Discrete structures and automata theory
par: Dube, Rakesh
Publié: (2006)

Structure Theory for Canonical Classes of Finite Groups
par: Guo, Wenbin
Publié: (2015)

Three kinds of probabilistic induction : universal distributions and convergence theorems /
par: Solomonoff, Ray J.

Proof :
par: Atkinson, Paul
Publié: (2007)

Proof
par: Atkinson, Paul
Publié: (2007)

Coding theory and number theory /
par: Hiramatsu, Toyokazu.
Publié: (2003)

String Theory and M-Theory : A Modern Introduction
par: Becker, K, et autres
Publié: (2013)

Hacker proof
par: Jamsa, Kris
Publié: (2002)

Artist's proof.
Publié: (1969)

Artist's proof.
Publié: (1969)

Artist's proof.
Publié: (1970)

Artist's proof.
Publié: (1968)

Artist's proof.
Publié: (1967)

Tests and Proofs
par: Beckert, Bernhard, et autres
Publié: (2020)

Tests and Proofs
par: Dubois, Catherine, et autres
Publié: (2020)

Tests and Proofs
par: Gabmeyer, Sebastian, et autres
Publié: (2020)

Tests and Proofs
par: Meyer, Bertrand, et autres
Publié: (2020)

Mathematical Topics on Representations of Ordered Structures and Utility Theory
par: Bosi, Gianni, et autres
Publié: (2020)

Communication theory /
par: Goldie, Charles M.
Publié: (1991)

The Structure of the Atom
par: Wilson, Ernest Dana
Publié: (2012)

Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications. 1st ed. 2018
par: Li, Shihua, et autres
Publié: (2020)

The theory of information and coding
par: McEliece, Robert J.
Publié: (2004)

Rewriting, Computation and Proof
par: Comon-Lundh, Hubert, et autres
Publié: (2020)

Types for Proofs and Programs
Publié: (2020)

Types for Proofs and Programs
par: Miculan, Marino, et autres
Publié: (2020)

Human Interactive Proofs
Publié: (2020)

Galois theory
par: Ian Stewart
Publié: (1998)

Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
par: Chou, Shang-Ching, 1946-
Publié: (1994)