Structural proof theory

Mã QR

Structural proof theory

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Sara Negri
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Cambridge , UK Cambridge Universiry Press 2001
Những chủ đề:	proof theory
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Structural proof theory
Bỡi: Negri, Sara
Được phát hành: (2001)

Proof patterns
Bỡi: Mark Joshi
Được phát hành: (2015)

Problems and Proofs in Numbers and Algebra
Bỡi: Millman, Richard S, et al.
Được phát hành: (2015)

Dag Prawitz on Proofs and Meaning
Bỡi: Wansing, Heinrich
Được phát hành: (2015)

The nuts and bolts of proofs
Bỡi: Cupillari, Antonella
Được phát hành: (2005)

The Quadratic Reciprocity Law (A Collection of Classical Proofs)
Bỡi: Baumgart, Oswald
Được phát hành: (2015)

Evidence, proof, and facts
Bỡi: Murphy, Peter
Được phát hành: (2003)

Enumerating proofs of positive formulae /
Bỡi: Dowek, Gilles.

Strategy-proofness and the tops-only property /
Bỡi: Weymark, John A.

Theorems, corollaries, lemmas, and methods of proof
Bỡi: Rossi, Richard J.
Được phát hành: (2006)

Tests and Proofs
Được phát hành: (2020)

Proofs from THE BOOK. 6th ed.
Bỡi: Aigner, Martin, et al.
Được phát hành: (2020)

Discrete structures and automata theory
Bỡi: Dube, Rakesh
Được phát hành: (2006)

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

Proof :
Bỡi: Atkinson, Paul
Được phát hành: (2007)

Proof
Bỡi: Atkinson, Paul
Được phát hành: (2007)

Structure Theory for Canonical Classes of Finite Groups
Bỡi: Guo, Wenbin
Được phát hành: (2015)

Hacker proof
Bỡi: Jamsa, Kris
Được phát hành: (2002)

Artist's proof.
Được phát hành: (1969)

Artist's proof.
Được phát hành: (1969)

Artist's proof.
Được phát hành: (1970)

Artist's proof.
Được phát hành: (1968)

Artist's proof.
Được phát hành: (1967)

Tests and Proofs
Bỡi: Beckert, Bernhard, et al.
Được phát hành: (2020)

Tests and Proofs
Bỡi: Gabmeyer, Sebastian, et al.
Được phát hành: (2020)

Tests and Proofs
Bỡi: Meyer, Bertrand, et al.
Được phát hành: (2020)

Tests and Proofs
Bỡi: Dubois, Catherine, et al.
Được phát hành: (2020)

Types for Proofs and Programs
Được phát hành: (2020)

Rewriting, Computation and Proof
Bỡi: Comon-Lundh, Hubert, et al.
Được phát hành: (2020)

Human Interactive Proofs
Được phát hành: (2020)

Types for Proofs and Programs
Bỡi: Miculan, Marino, et al.
Được phát hành: (2020)

Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
Bỡi: Chou, Shang-Ching, 1946-
Được phát hành: (1994)

Mathematical Topics on Representations of Ordered Structures and Utility Theory
Bỡi: Bosi, Gianni, et al.
Được phát hành: (2020)

Proof and disproof in formal logic
Bỡi: Bornat, Richard
Được phát hành: (2005)

Coding theory and number theory /
Bỡi: Hiramatsu, Toyokazu.
Được phát hành: (2003)

Hack proofing Windows 2000
Bỡi: Todd, Chad, et al.
Được phát hành: (2011)

String Theory and M-Theory : A Modern Introduction
Bỡi: Becker, K, et al.
Được phát hành: (2013)

Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications. 1st ed. 2018
Bỡi: Li, Shihua, et al.
Được phát hành: (2020)

Theorems, corollaries, lemmas, and methods of proof
Bỡi: Rossi, Richard J
Được phát hành: (2006)

The Structure of the Atom
Bỡi: Wilson, Ernest Dana
Được phát hành: (2012)