Structural proof theory

QR-Code

Structural proof theory

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sara Negri
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Cambridge , UK Cambridge Universiry Press 2001
Schlagworte:	proof theory
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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

Ähnliche Einträge

Structural proof theory
von: Negri, Sara
Veröffentlicht: (2001)

Proof patterns
von: Mark Joshi
Veröffentlicht: (2015)

Problems and Proofs in Numbers and Algebra
von: Millman, Richard S, et al.
Veröffentlicht: (2015)

Dag Prawitz on Proofs and Meaning
von: Wansing, Heinrich
Veröffentlicht: (2015)

The nuts and bolts of proofs
von: Cupillari, Antonella
Veröffentlicht: (2005)

The Quadratic Reciprocity Law (A Collection of Classical Proofs)
von: Baumgart, Oswald
Veröffentlicht: (2015)

Evidence, proof, and facts
von: Murphy, Peter
Veröffentlicht: (2003)

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

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

Theorems, corollaries, lemmas, and methods of proof
von: Rossi, Richard J.
Veröffentlicht: (2006)

Tests and Proofs
Veröffentlicht: (2020)

Proofs from THE BOOK. 6th ed.
von: Aigner, Martin, et al.
Veröffentlicht: (2020)

Discrete structures and automata theory
von: Dube, Rakesh
Veröffentlicht: (2006)

Structure Theory for Canonical Classes of Finite Groups
von: Guo, Wenbin
Veröffentlicht: (2015)

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

Proof :
von: Atkinson, Paul
Veröffentlicht: (2007)

Proof
von: Atkinson, Paul
Veröffentlicht: (2007)

Coding theory and number theory /
von: Hiramatsu, Toyokazu.
Veröffentlicht: (2003)

String Theory and M-Theory : A Modern Introduction
von: Becker, K, et al.
Veröffentlicht: (2013)

Mathematical Topics on Representations of Ordered Structures and Utility Theory
von: Bosi, Gianni, et al.
Veröffentlicht: (2020)

Hacker proof
von: Jamsa, Kris
Veröffentlicht: (2002)

Artist's proof.
Veröffentlicht: (1969)

Artist's proof.
Veröffentlicht: (1969)

Artist's proof.
Veröffentlicht: (1970)

Artist's proof.
Veröffentlicht: (1968)

Artist's proof.
Veröffentlicht: (1967)

Tests and Proofs
von: Beckert, Bernhard, et al.
Veröffentlicht: (2020)

Tests and Proofs
von: Dubois, Catherine, et al.
Veröffentlicht: (2020)

Tests and Proofs
von: Gabmeyer, Sebastian, et al.
Veröffentlicht: (2020)

Tests and Proofs
von: Meyer, Bertrand, et al.
Veröffentlicht: (2020)

Communication theory /
von: Goldie, Charles M.
Veröffentlicht: (1991)

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

The Structure of the Atom
von: Wilson, Ernest Dana
Veröffentlicht: (2012)

The theory of information and coding
von: McEliece, Robert J.
Veröffentlicht: (2004)

Galois theory
von: Ian Stewart
Veröffentlicht: (1998)

Evolutionary Governance Theory (Theory and Applications)
von: Beunen, Raoul, et al.
Veröffentlicht: (2015)

Rewriting, Computation and Proof
von: Comon-Lundh, Hubert, et al.
Veröffentlicht: (2020)

Types for Proofs and Programs
Veröffentlicht: (2020)

Types for Proofs and Programs
von: Miculan, Marino, et al.
Veröffentlicht: (2020)

Human Interactive Proofs
Veröffentlicht: (2020)