Loading...

QR Code

Proof theory: A selection of papers from the leeds theory programme

Bibliographic Details
Main Author:	Aczel, Peter, Ed
Other Authors:	Simmons, Harold, Ed, Wainer, Stanley S, Ed
Format:	Printed Book
Language:	English
Published:	Cambridge Cambridge university press 1992

Similar Items

Proof theory
by: Takeuti, Gaisi
Published: (1975)

Proof theory
by: Schutte, Kurt
Published: (1977)

Proof theory: First step into impradictivity.
by: Pohlers, Wolfram
Published: (2009)

Abel's proof.
by: Pesic, Peter
Published: (2003)

Applied proof theory: Proof interpretations and their use in mathematics/
by: Kohlenbach,Ulrich
Published: (2008)

Applied proof theory proof interpretations and their use in mathematics
by: Kohlenbach. U.
Published: (2008)

Applied proof theory : proof interpretations and their use in mathematics /
by: Kohlenbach, U.
Published: (2008)

Proof theory sequent calculi and related formalisms
by: Bimbo, Katalin
Published: (2015)

Applied Proof Theory: Proof Interpretations and their use in Mathematics /
Published: (2008)

Proof techniques in graph theory; proceedings.
by: Harary, Frank,ed
Published: (1969)

Proof Theory for fuzzy logics
by: Metcalfe, George
Published: (2009)

Number theory: An introduction to proof
by: Eynden, Charles Vanden
Published: (1970)

Number theory: An introduction to proof
by: Eynden, Charles Vanden
Published: (1970)

Theory of proofs units 25 /
by: Open University Course Team
Published: (1973)

Proof theory for fuzzy logic
by: Metcalfe, George, et al
Published: (2009)

ISILC proof theory symposium
Published: (1975)

Applied proof theory proof interpretations and thier use in mathematics
by: Kohlenbach, Ulrich
Published: (2008)

Type theory and formal proof : an introduction /
by: Nederpelt, R. P. (Rob P.), et al.
Published: (2014)

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

Logic and Proof
by: Bittnger, Marvin L
Published: (1970)

Proof in geometry /
by: Fetisov, A. I.
Published: (1978)

Godel's proof,
by: Nagel, Ernest
Published: (1986)

Logic and Proof/
by: Bittinger, Marvin L.
Published: (1970)

Proofs and types /
by: Girard, Jean-Yves
Published: (1989)

Shark proof
by: Mackay, Harvey B.
Published: (1993)

Logic and proof
by: Bittinger, Marvin L
Published: (1970)

Proof Reading /

Godel's proof /
by: Nagel, Ernest
Published: (1964)

Conjecture and proof
by: Laczkovich, Miklos
Published: (2001)

Godel's proof /
by: Ernest Nagel
Published: (2005)

Proofs from the book
by: Aigner, Martin
Published: (1999)

Proofs from THE BOOK
by: Aigner, Martin
Published: (2002)

Proofs from THE BOOK
by: Aigner, Martin
Published: (2004)

Proofs from the book /
by: Aigner, Martin
Published: (2004)

Proofs from the book /
by: Aigner, Martin
Published: (2004)

Proofs from the book
by: Aigner , Martin Ziegler , Gunter .M
Published: (2018)

Proofs from the book
by: Aigner, Martin
Published: (2009)

Proofs that really count: The art of combinatorial proof.
by: Benjamin, Arthur T
Published: (2003)

Theory of proofs M202.25 /
Published: (1973)

Proof theory: the first step into impredicativity/
by: Pohlers, Wolfram
Published: (2009)