Structural proof theory

Mã QR

Structural proof theory

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Negri, Sara
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Cambridge, UK Cambridge Univ. 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: Sara Negri
Được phát hành: (2001)

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

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)

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)

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

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)

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)

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)

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

A new proof of clarke's theorem /
Bỡi: Gue Myung Lee.

Consciousness and the mind of God
Bỡi: Taliaferro, Charles
Được phát hành: (1994)

Communication theory /
Bỡi: Goldie, Charles M.
Được phát hành: (1991)

Foreign law in English courts
Bỡi: Fentiman, Richard
Được phát hành: (1998)

Fire Proofing - Protecting Your Job in the 90S /
Bỡi: A. Grosman Brian
Được phát hành: (1992)

The theory of information and coding
Bỡi: McEliece, Robert J.
Được phát hành: (2004)

Galois theory
Bỡi: Ian Stewart
Được phát hành: (1998)

Schaum's outline of theory and problems of graph theory
Bỡi: V. K. Balakrishnan
Được phát hành: (1997)

Linear systems theory
Bỡi: Ferenc Szidarovszky
Được phát hành: (1997)

Singularities and groups in bifurcation theory.
Bỡi: Golubitsky, Martin, 1945-
Được phát hành: (1985)

Entropy and information theory /
Bỡi: Gray, Robert M., 1943-
Được phát hành: (1990)

For hunger-proof cities: Sustainable urban food systems
Được phát hành: (1999)

Fundamentals of information theory and coding design
Bỡi: Roberto Togneri
Được phát hành: (2002)

Schaum's outlines of theory and problems of set theory and related topics
Bỡi: Seymour Lipschutz
Được phát hành: (1998)

Braid and knot theory in dimension four.
Bỡi: Kamada, Seiichi, 1964-
Được phát hành: (2002)

Galois theories
Bỡi: Francis Borceux
Được phát hành: (2001)

Graph theory
Bỡi: W. T. Tutte
Được phát hành: (2001)

Information theory: Coding and cryptography
Bỡi: Ranjan Bose
Được phát hành: (2002)

Game theory :
Bỡi: McCain, Roger A.
Được phát hành: (2004)

Graph theory
Bỡi: Diestel, Reinhard
Được phát hành: (2005)