Loading...

QR Code

Theory of proofs M202.25 /

Bibliographic Details
Corporate Author:	Mathematics foundation course team(Open University)
Format:	Printed Book
Language:	English
Published:	England : Open University Press, 1973.

Similar Items

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

Deprivation, disadvantage and compensation E202 25-26 /
by: Giles, Ken
Published: (1977)

Turing Machines M202.16 /
Published: (1973)

Recursive functions M202.21 /
Published: (1973)

Finate state mechanics M202.9 /
Published: (1973)

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

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

Review of the course E202 32 /
by: Hall, Stuart
Published: (1977)

Romanticism A202 33-34 /
by: Edwards, Owain
Published: (1974)

American Journal of Science, vol.202
by: Kline Geology Lab
Published: (1921)

Journal of Biological Chemistry, Vol.202
by: Anderson, Rudolph J, Ed., et al
Published: (1953)

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

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)

Metric Space axioms; contuinuity and equivalance M202 7&8 /
Published: (1973)

Proof theory: A selection of papers from the leeds theory programme
by: Aczel, Peter, Ed
Published: (1992)

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)

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

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)

Proof Reading Oru kala(M)
by: Samkutty , K J
Published: (2010)

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

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)

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

ISILC proof theory symposium
Published: (1975)

Napolean; and restoration Europe A202 7-8 /
by: Emsley, Clive
Published: (1972)