Proof theory and logical complexity / Jean-Yves Girard.

Bibliographic Details
Uniform Title:	Studies in proof theory ; 1.
Main Author:	Girard, Jean-Yves
Language:	English
Published:	Napoli : Bibliopolis, ©1987-
Series:	Studies in proof theory ; 1.
Subjects:	Proof theory.
Physical Description:	volumes ; 25 cm.
Format:	Book

Similar Items

Arithmetic, proof theory, and computational complexity
Published: (1993)

Proof theory
by: Takeuti, Gaisi, 1926-2017
Published: (1987)

Proof theory
by: Takeuti, Gaisi, 1926-2017
Published: (1975)

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990
Published: (1992)

Basic proof theory
by: Troelstra, A. S. (Anne Sjerp)
Published: (1996)

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

Handbook of proof theory
Published: (1998)

Ways of proof theory
Published: (2010)

Normalization, cut-elimination, and the theory of proofs
by: Ungar, A. M. (Anthony M.), 1945-
Published: (1992)

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

Proof methods for modal and intuitionistic logics
by: Fitting, Melvin, 1942-
Published: (1983)

The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2005)

The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2001)

Proof theory of impredicative subsytems of analysis
by: Buchholz, Wilfried, 1948-
Published: (1988)

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

Proofs and computations
by: Schwichtenberg, Helmut, 1942-, et al.
Published: (2012)

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

The moment of proof : mathematical epiphanies
by: Benson, Donald C.
Published: (2000)

Memoirs of a proof theorist : Gödel and other logicians
by: Takeuti, Gaisi, 1926-2017
Published: (2003)

Absoluteness of intuitionistic logic
by: Leivant, Daniel Maurice Raphaël
Published: (1979)

Proof and computations
by: Schwichtenberg, Helmut, 1942-
Published: (2012)

Proof in mathematics education : research, learning and teaching
by: Reid, David A. (David Alexander), 1963-
Published: (2010)

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

The moment of proof : mathematical epiphanies
by: Benson, Donald C.
Published: (1999)

Linear logic in computer science
Published: (2004)

Linear logic in computer science
Published: (2004)

Journey into mathematics : an introduction to proofs
by: Rotman, Joseph J., 1934-
Published: (1999)

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

Introduction to mathematical proofs : a transition
by: Roberts, Charles E., 1942-
Published: (2010)

Introduction to mathematical proofs : a transition to advanced mathematics
by: Roberts, Charles E., 1942-
Published: (2015)

An introduction to mathematical reasoning : numbers, sets, and functions
by: Eccles, Peter J., 1945-
Published: (2015)

The mathematical method : a transition to advanced mathematics
by: Eisenberg, Murray, 1939-
Published: (1996)

A TeXas style introduction to proof
by: Taylor, Ron, 1948-
Published: (2017)

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

Mathematical thinking and writing : a transition to abstract mathematics
by: Maddox, Randall B.
Published: (2002)

Extending the frontiers of mathematics : inquiries into proof and argumentation
by: Burger, Edward B., 1963-
Published: (2007)

Derivation and computation : taking the Curry-Howard correspondence seriously
by: Simmons, Harold
Published: (2000)

Navigating through reasoning and proof in grades 9-12
Published: (2008)

Lectures on the Curry-Howard isomorphism
by: Sørensen, Morten Heine
Published: (2006)

Logical foundations of proof complexity
by: Cook, Stephen, 1948-
Published: (2010)