Structural proof theory

Mã QR

Structural proof theory

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Negri, Sara
Format:	Bog
Sprog:	Undetermined
Udgivet:	Cambridge, UK Cambridge Univ. Press 2001
Fag:	Proof theory
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

Structural proof theory
af: Sara Negri
Udgivet: (2001)

Proof patterns
af: Mark Joshi
Udgivet: (2015)

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

Dag Prawitz on Proofs and Meaning
af: Wansing, Heinrich
Udgivet: (2015)

The nuts and bolts of proofs
af: Cupillari, Antonella
Udgivet: (2005)

The Quadratic Reciprocity Law (A Collection of Classical Proofs)
af: Baumgart, Oswald
Udgivet: (2015)

Evidence, proof, and facts
af: Murphy, Peter
Udgivet: (2003)

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

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

Theorems, corollaries, lemmas, and methods of proof
af: Rossi, Richard J.
Udgivet: (2006)

Tests and Proofs
Udgivet: (2020)

Proofs from THE BOOK. 6th ed.
af: Aigner, Martin, et al.
Udgivet: (2020)

Discrete structures and automata theory
af: Dube, Rakesh
Udgivet: (2006)

Structure Theory for Canonical Classes of Finite Groups
af: Guo, Wenbin
Udgivet: (2015)

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

Proof :
af: Atkinson, Paul
Udgivet: (2007)

Proof
af: Atkinson, Paul
Udgivet: (2007)

Coding theory and number theory /
af: Hiramatsu, Toyokazu.
Udgivet: (2003)

String Theory and M-Theory : A Modern Introduction
af: Becker, K, et al.
Udgivet: (2013)

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

Hacker proof
af: Jamsa, Kris
Udgivet: (2002)

Artist's proof.
Udgivet: (1969)

Artist's proof.
Udgivet: (1969)

Artist's proof.
Udgivet: (1970)

Artist's proof.
Udgivet: (1968)

Artist's proof.
Udgivet: (1967)

Tests and Proofs
af: Beckert, Bernhard, et al.
Udgivet: (2020)

Tests and Proofs
af: Dubois, Catherine, et al.
Udgivet: (2020)

Tests and Proofs
af: Gabmeyer, Sebastian, et al.
Udgivet: (2020)

Tests and Proofs
af: Meyer, Bertrand, et al.
Udgivet: (2020)

Communication theory /
af: Goldie, Charles M.
Udgivet: (1991)

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

The Structure of the Atom
af: Wilson, Ernest Dana
Udgivet: (2012)

The theory of information and coding
af: McEliece, Robert J.
Udgivet: (2004)

Galois theory
af: Ian Stewart
Udgivet: (1998)

Evolutionary Governance Theory (Theory and Applications)
af: Beunen, Raoul, et al.
Udgivet: (2015)

Rewriting, Computation and Proof
af: Comon-Lundh, Hubert, et al.
Udgivet: (2020)

Types for Proofs and Programs
Udgivet: (2020)

Types for Proofs and Programs
af: Miculan, Marino, et al.
Udgivet: (2020)

Human Interactive Proofs
Udgivet: (2020)