Structural proof theory

kod QR

Structural proof theory

Zapisane w:

Opis bibliograficzny
1. autor:	Negri, Sara
Format:	Książka
Język:	Undetermined
Wydane:	Cambridge, UK Cambridge Univ. Press 2001
Hasła przedmiotowe:	Proof theory
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

Structural proof theory
od: Sara Negri
Wydane: (2001)

Proof patterns
od: Mark Joshi
Wydane: (2015)

Problems and Proofs in Numbers and Algebra
od: Millman, Richard S, i wsp.
Wydane: (2015)

Dag Prawitz on Proofs and Meaning
od: Wansing, Heinrich
Wydane: (2015)

The nuts and bolts of proofs
od: Cupillari, Antonella
Wydane: (2005)

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

Evidence, proof, and facts
od: Murphy, Peter
Wydane: (2003)

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

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

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

Tests and Proofs
Wydane: (2020)

Proofs from THE BOOK. 6th ed.
od: Aigner, Martin, i wsp.
Wydane: (2020)

Discrete structures and automata theory
od: Dube, Rakesh
Wydane: (2006)

Structure Theory for Canonical Classes of Finite Groups
od: Guo, Wenbin
Wydane: (2015)

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

Proof :
od: Atkinson, Paul
Wydane: (2007)

Proof
od: Atkinson, Paul
Wydane: (2007)

Coding theory and number theory /
od: Hiramatsu, Toyokazu.
Wydane: (2003)

String Theory and M-Theory : A Modern Introduction
od: Becker, K, i wsp.
Wydane: (2013)

Mathematical Topics on Representations of Ordered Structures and Utility Theory
od: Bosi, Gianni, i wsp.
Wydane: (2020)

Hacker proof
od: Jamsa, Kris
Wydane: (2002)

Artist's proof.
Wydane: (1969)

Artist's proof.
Wydane: (1969)

Artist's proof.
Wydane: (1970)

Artist's proof.
Wydane: (1968)

Artist's proof.
Wydane: (1967)

Tests and Proofs
od: Beckert, Bernhard, i wsp.
Wydane: (2020)

Tests and Proofs
od: Dubois, Catherine, i wsp.
Wydane: (2020)

Tests and Proofs
od: Gabmeyer, Sebastian, i wsp.
Wydane: (2020)

Tests and Proofs
od: Meyer, Bertrand, i wsp.
Wydane: (2020)

Communication theory /
od: Goldie, Charles M.
Wydane: (1991)

Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications. 1st ed. 2018
od: Li, Shihua, i wsp.
Wydane: (2020)

The Structure of the Atom
od: Wilson, Ernest Dana
Wydane: (2012)

The theory of information and coding
od: McEliece, Robert J.
Wydane: (2004)

Galois theory
od: Ian Stewart
Wydane: (1998)

Evolutionary Governance Theory (Theory and Applications)
od: Beunen, Raoul, i wsp.
Wydane: (2015)

Rewriting, Computation and Proof
od: Comon-Lundh, Hubert, i wsp.
Wydane: (2020)

Types for Proofs and Programs
Wydane: (2020)

Types for Proofs and Programs
od: Miculan, Marino, i wsp.
Wydane: (2020)

Human Interactive Proofs
Wydane: (2020)