Structural proof theory

QR code

Structural proof theory

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Negri, Sara
Formaat:	Boek
Taal:	Undetermined
Gepubliceerd in:	Cambridge, UK Cambridge Univ. Press 2001
Onderwerpen:	Proof theory
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

Structural proof theory
door: Sara Negri
Gepubliceerd in: (2001)

Proof patterns
door: Mark Joshi
Gepubliceerd in: (2015)

Problems and Proofs in Numbers and Algebra
door: Millman, Richard S, et al.
Gepubliceerd in: (2015)

Dag Prawitz on Proofs and Meaning
door: Wansing, Heinrich
Gepubliceerd in: (2015)

The nuts and bolts of proofs
door: Cupillari, Antonella
Gepubliceerd in: (2005)

The Quadratic Reciprocity Law (A Collection of Classical Proofs)
door: Baumgart, Oswald
Gepubliceerd in: (2015)

Evidence, proof, and facts
door: Murphy, Peter
Gepubliceerd in: (2003)

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

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

Theorems, corollaries, lemmas, and methods of proof
door: Rossi, Richard J.
Gepubliceerd in: (2006)

Tests and Proofs
Gepubliceerd in: (2020)

Proofs from THE BOOK. 6th ed.
door: Aigner, Martin, et al.
Gepubliceerd in: (2020)

Discrete structures and automata theory
door: Dube, Rakesh
Gepubliceerd in: (2006)

Structure Theory for Canonical Classes of Finite Groups
door: Guo, Wenbin
Gepubliceerd in: (2015)

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

Proof :
door: Atkinson, Paul
Gepubliceerd in: (2007)

Proof
door: Atkinson, Paul
Gepubliceerd in: (2007)

Coding theory and number theory /
door: Hiramatsu, Toyokazu.
Gepubliceerd in: (2003)

String Theory and M-Theory : A Modern Introduction
door: Becker, K, et al.
Gepubliceerd in: (2013)

Hacker proof
door: Jamsa, Kris
Gepubliceerd in: (2002)

Artist's proof.
Gepubliceerd in: (1969)

Artist's proof.
Gepubliceerd in: (1969)

Artist's proof.
Gepubliceerd in: (1970)

Artist's proof.
Gepubliceerd in: (1968)

Artist's proof.
Gepubliceerd in: (1967)

Tests and Proofs
door: Beckert, Bernhard, et al.
Gepubliceerd in: (2020)

Tests and Proofs
door: Dubois, Catherine, et al.
Gepubliceerd in: (2020)

Tests and Proofs
door: Gabmeyer, Sebastian, et al.
Gepubliceerd in: (2020)

Tests and Proofs
door: Meyer, Bertrand, et al.
Gepubliceerd in: (2020)

Mathematical Topics on Representations of Ordered Structures and Utility Theory
door: Bosi, Gianni, et al.
Gepubliceerd in: (2020)

Communication theory /
door: Goldie, Charles M.
Gepubliceerd in: (1991)

The Structure of the Atom
door: Wilson, Ernest Dana
Gepubliceerd in: (2012)

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

The theory of information and coding
door: McEliece, Robert J.
Gepubliceerd in: (2004)

Rewriting, Computation and Proof
door: Comon-Lundh, Hubert, et al.
Gepubliceerd in: (2020)

Types for Proofs and Programs
Gepubliceerd in: (2020)

Types for Proofs and Programs
door: Miculan, Marino, et al.
Gepubliceerd in: (2020)

Human Interactive Proofs
Gepubliceerd in: (2020)

Galois theory
door: Ian Stewart
Gepubliceerd in: (1998)

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