Structural proof theory

Código QR

Structural proof theory

Gardado en:

Detalles Bibliográficos
Autor Principal:	Negri, Sara
Formato:	Libro
Idioma:	Undetermined
Publicado:	Cambridge, UK Cambridge Univ. Press 2001
Những chủ đề:	Proof theory
Các nhãn:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

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

Títulos similares

Structural proof theory
por: Sara Negri
Publicado: (2001)

Proof patterns
por: Mark Joshi
Publicado: (2015)

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

Dag Prawitz on Proofs and Meaning
por: Wansing, Heinrich
Publicado: (2015)

The nuts and bolts of proofs
por: Cupillari, Antonella
Publicado: (2005)

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

Evidence, proof, and facts
por: Murphy, Peter
Publicado: (2003)

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

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

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

Tests and Proofs
Publicado: (2020)

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

Discrete structures and automata theory
por: Dube, Rakesh
Publicado: (2006)

Structure Theory for Canonical Classes of Finite Groups
por: Guo, Wenbin
Publicado: (2015)

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

Proof :
por: Atkinson, Paul
Publicado: (2007)

Proof
por: Atkinson, Paul
Publicado: (2007)

Coding theory and number theory /
por: Hiramatsu, Toyokazu.
Publicado: (2003)

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

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

Hacker proof
por: Jamsa, Kris
Publicado: (2002)

Artist's proof.
Publicado: (1969)

Artist's proof.
Publicado: (1969)

Artist's proof.
Publicado: (1970)

Artist's proof.
Publicado: (1968)

Artist's proof.
Publicado: (1967)

Tests and Proofs
por: Beckert, Bernhard, et al.
Publicado: (2020)

Tests and Proofs
por: Dubois, Catherine, et al.
Publicado: (2020)

Tests and Proofs
por: Gabmeyer, Sebastian, et al.
Publicado: (2020)

Tests and Proofs
por: Meyer, Bertrand, et al.
Publicado: (2020)

Communication theory /
por: Goldie, Charles M.
Publicado: (1991)

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

The Structure of the Atom
por: Wilson, Ernest Dana
Publicado: (2012)

The theory of information and coding
por: McEliece, Robert J.
Publicado: (2004)

Galois theory
por: Ian Stewart
Publicado: (1998)

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

Types for Proofs and Programs
Publicado: (2020)

Types for Proofs and Programs
por: Miculan, Marino, et al.
Publicado: (2020)

Human Interactive Proofs
Publicado: (2020)

Evolutionary Governance Theory (Theory and Applications)
por: Beunen, Raoul, et al.
Publicado: (2015)

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_12498hl8aga42qcg61iar54klr
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235