Structural proof theory

Mã QR

Structural proof theory

Đã lưu trong:

书目详细资料
主要作者:	Negri, Sara
格式:	图书
语言:	Undetermined
出版:	Cambridge, UK Cambridge Univ. Press 2001
主题:	Proof theory
标签:	添加标签没有标签, 成为第一个标记此记录!

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

相似书籍

Structural proof theory
由: Sara Negri
出版: (2001)

Proof patterns
由: Mark Joshi
出版: (2015)

Problems and Proofs in Numbers and Algebra
由: Millman, Richard S, et al.
出版: (2015)

Dag Prawitz on Proofs and Meaning
由: Wansing, Heinrich
出版: (2015)

The nuts and bolts of proofs
由: Cupillari, Antonella
出版: (2005)

The Quadratic Reciprocity Law (A Collection of Classical Proofs)
由: Baumgart, Oswald
出版: (2015)

Evidence, proof, and facts
由: Murphy, Peter
出版: (2003)

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

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

Theorems, corollaries, lemmas, and methods of proof
由: Rossi, Richard J.
出版: (2006)

Tests and Proofs
出版: (2020)

Proofs from THE BOOK. 6th ed.
由: Aigner, Martin, et al.
出版: (2020)

Discrete structures and automata theory
由: Dube, Rakesh
出版: (2006)

Structure Theory for Canonical Classes of Finite Groups
由: Guo, Wenbin
出版: (2015)

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

Proof :
由: Atkinson, Paul
出版: (2007)

Proof
由: Atkinson, Paul
出版: (2007)

Coding theory and number theory /
由: Hiramatsu, Toyokazu.
出版: (2003)

String Theory and M-Theory : A Modern Introduction
由: Becker, K, et al.
出版: (2013)

Hacker proof
由: Jamsa, Kris
出版: (2002)

Artist's proof.
出版: (1969)

Artist's proof.
出版: (1969)

Artist's proof.
出版: (1970)

Artist's proof.
出版: (1968)

Artist's proof.
出版: (1967)

Tests and Proofs
由: Beckert, Bernhard, et al.
出版: (2020)

Tests and Proofs
由: Dubois, Catherine, et al.
出版: (2020)

Tests and Proofs
由: Gabmeyer, Sebastian, et al.
出版: (2020)

Tests and Proofs
由: Meyer, Bertrand, et al.
出版: (2020)

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

Communication theory /
由: Goldie, Charles M.
出版: (1991)

The Structure of the Atom
由: Wilson, Ernest Dana
出版: (2012)

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

The theory of information and coding
由: McEliece, Robert J.
出版: (2004)

Rewriting, Computation and Proof
由: Comon-Lundh, Hubert, et al.
出版: (2020)

Types for Proofs and Programs
出版: (2020)

Types for Proofs and Programs
由: Miculan, Marino, et al.
出版: (2020)

Human Interactive Proofs
出版: (2020)

Galois theory
由: Ian Stewart
出版: (1998)

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