Structural proof theory

QR-koodi

Structural proof theory

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Negri, Sara
Aineistotyyppi:	Kirja
Kieli:	Undetermined
Julkaistu:	Cambridge, UK Cambridge Univ. Press 2001
Aiheet:	Proof theory
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

Structural proof theory
Tekijä: Sara Negri
Julkaistu: (2001)

Proof patterns
Tekijä: Mark Joshi
Julkaistu: (2015)

Problems and Proofs in Numbers and Algebra
Tekijä: Millman, Richard S, et al.
Julkaistu: (2015)

Dag Prawitz on Proofs and Meaning
Tekijä: Wansing, Heinrich
Julkaistu: (2015)

The nuts and bolts of proofs
Tekijä: Cupillari, Antonella
Julkaistu: (2005)

The Quadratic Reciprocity Law (A Collection of Classical Proofs)
Tekijä: Baumgart, Oswald
Julkaistu: (2015)

Evidence, proof, and facts
Tekijä: Murphy, Peter
Julkaistu: (2003)

Enumerating proofs of positive formulae /
Tekijä: Dowek, Gilles.

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

Theorems, corollaries, lemmas, and methods of proof
Tekijä: Rossi, Richard J.
Julkaistu: (2006)

Tests and Proofs
Julkaistu: (2020)

Proofs from THE BOOK. 6th ed.
Tekijä: Aigner, Martin, et al.
Julkaistu: (2020)

Discrete structures and automata theory
Tekijä: Dube, Rakesh
Julkaistu: (2006)

Structure Theory for Canonical Classes of Finite Groups
Tekijä: Guo, Wenbin
Julkaistu: (2015)

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

Proof :
Tekijä: Atkinson, Paul
Julkaistu: (2007)

Proof
Tekijä: Atkinson, Paul
Julkaistu: (2007)

Coding theory and number theory /
Tekijä: Hiramatsu, Toyokazu.
Julkaistu: (2003)

String Theory and M-Theory : A Modern Introduction
Tekijä: Becker, K, et al.
Julkaistu: (2013)

Mathematical Topics on Representations of Ordered Structures and Utility Theory
Tekijä: Bosi, Gianni, et al.
Julkaistu: (2020)

Hacker proof
Tekijä: Jamsa, Kris
Julkaistu: (2002)

Artist's proof.
Julkaistu: (1969)

Artist's proof.
Julkaistu: (1969)

Artist's proof.
Julkaistu: (1970)

Artist's proof.
Julkaistu: (1968)

Artist's proof.
Julkaistu: (1967)

Tests and Proofs
Tekijä: Beckert, Bernhard, et al.
Julkaistu: (2020)

Tests and Proofs
Tekijä: Dubois, Catherine, et al.
Julkaistu: (2020)

Tests and Proofs
Tekijä: Gabmeyer, Sebastian, et al.
Julkaistu: (2020)

Tests and Proofs
Tekijä: Meyer, Bertrand, et al.
Julkaistu: (2020)

Communication theory /
Tekijä: Goldie, Charles M.
Julkaistu: (1991)

Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications. 1st ed. 2018
Tekijä: Li, Shihua, et al.
Julkaistu: (2020)

The Structure of the Atom
Tekijä: Wilson, Ernest Dana
Julkaistu: (2012)

The theory of information and coding
Tekijä: McEliece, Robert J.
Julkaistu: (2004)

Galois theory
Tekijä: Ian Stewart
Julkaistu: (1998)

Evolutionary Governance Theory (Theory and Applications)
Tekijä: Beunen, Raoul, et al.
Julkaistu: (2015)

Rewriting, Computation and Proof
Tekijä: Comon-Lundh, Hubert, et al.
Julkaistu: (2020)

Types for Proofs and Programs
Julkaistu: (2020)

Types for Proofs and Programs
Tekijä: Miculan, Marino, et al.
Julkaistu: (2020)

Human Interactive Proofs
Julkaistu: (2020)