Cover Image

Proof theory and logical complexity= Logical complexity/

Main Author:	Girard, Jean-Yves
Format:	Book
Language:	English
Published:	Napoli: Bibliopolis, c1987-
Series:	Studies in proof theory 1
Subjects:	Proof theory

Similar Items

Proof theory and logical complexity/
by: Girard, Jean-Yves
Published: (1987)

Proof, logic, and formalization
Published: (1992)

Basic proof theory/
by: Troelstra, A. SAnne Sjerp
Published: (2000)

Ways of proof theory
by: Schindler, Ralf.
Published: (2010)

Conjecture and proof /
by: Laczkovich, Miklσs
Published: (2001)

Charming proofs a journey into elegant mathematics /
by: Alsina, Claudi.
Published: (2010)

Mathematical proofs: a transition to advanced mathematics/
by: Chartrand, Gary
Published: (2003)

100% mathematical proof /
by: Garnier, Rowan
Published: (1996)

Introduction to proofs in mathematics /
by: Franklin, James, 1953-
Published: (1988)

Proofs and fundamentals : a first course in abstract mathematics /
by: Bloch, Ethan D., 1956-
Published: (2011)

Explanation and proof in mathematics : philosophical and educational perspectives /
Published: (2010)

Logic for concurrency and synchronisation
Published: (2003)

Three views of logic : mathematics, philosophy, and computer science /
by: Loveland, Donald W.

Algebra of proofs
by: Szabo, M. E
Published: (1978)

Proof theory of modal logic/
Published: (1996)

Tracking reason proof, consequence, and truth /
by: Azzouni, Jody.
Published: (2006)

Proof, logic, and formalization /
Published: (1992)

Proof complexity and feasible arithmetics :DIMACS workshop, April 21-24, 1996 /
Published: (1998)

Memoirs of a proof theorist Gθodel and other logicians /
by: Takeuti, Gaisi, 1926-
Published: (2003)

How to read and do proofs: an introduction to mathematical thought processes/
by: Solow, Daniel
Published: (2005)

100% mathematical proof /
by: Garnier, Rowan.
Published: (1996)

Όπερ έδει δείξαι: η ομορφιά της μαθηματικής απόδειξης/
by: Polster, Burkard
Published: (2009)

Theorems, corollaries, lemmas, and methods of proof /
by: Rossi, Richard J., 1956-
Published: (2006)

Perspectives in logic logical foundations of proof complexity /
by: Cook, Stephen, 1948-
Published: (2010)

Proof, logic and formalization /
by: Detlefsen, Michael
Published: (1992)

Proof theory : a selection of papers from the leeds proof theory programme /
by: Aczel, Peter, 1941-
Published: (1992)

An accompaniment to higher mathematics /
by: Exner, George R.
Published: (1996)

Proof theory : history and philosophical significance /
Published: (2000)

Proof/
by: Plumpton, Charles, 1920-
Published: (1984)

Basic proof theory /
by: Troelstra, A. S.
Published: (2000)

Structural proof theory /
by: Negri, Sara, 1967-
Published: (2001)

Selected papers in proof theory/
by: Mints, Grigorii E.
Published: (1992)

Proof theory : an introduction /
by: Pohlers, Wolfram
Published: (1989)

Conditional and preferential logics proof methods and theorem proving /
by: Pozzato, Gian Luca.
Published: (2010)

Mathematical proof : an elementary approach /
by: Hallerberg, Arthur E., 1918-1978
Published: (1974)

Λογική και απόδειξη : θεωρία - ασκήσεις /
by: Boricic, Branislav
Published: (1995)

ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)

Proof theory and intuitionistic systems
by: Scarpellini, Bruno
Published: (1971)

Analysis with an introduction to proof/
by: Lay, Steven R., 1944-
Published: (1990)

Intuitionistic logic, model theory and forcing/
by: Fitting, Melvin, 1942-
Published: (1969)

Cannot write session to /tmp/vufind_sessions/sess_lntmjjrc7dilngiu9in6sgvot0