Structural proof theory

QR Code (код быстрого отклика)

Structural proof theory

Сохранить в:

Библиографические подробности
Главный автор:	Sara Negri
Формат:	‌
Язык:	Undetermined
Опубликовано:	Cambridge , UK Cambridge Universiry Press 2001
Предметы:	proof theory
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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
по: Negri, Sara
Опубликовано: (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)