Carregant...

Codi QR

Theory of proofs M202.25 /

Dades bibliogràfiques
Autor corporatiu:	Mathematics foundation course team(Open University)
Format:	Printed Book
Idioma:	English
Publicat:	England : Open University Press, 1973.

Ítems similars

Theory of proofs units 25 /
per: Open University Course Team
Publicat: (1973)

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

Turing Machines M202.16 /
Publicat: (1973)

Recursive functions M202.21 /
Publicat: (1973)

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

Proof theory
per: Takeuti, Gaisi
Publicat: (1975)

Proof theory
per: Schutte, Kurt
Publicat: (1977)

Review of the course E202 32 /
per: Hall, Stuart
Publicat: (1977)

Romanticism A202 33-34 /
per: Edwards, Owain
Publicat: (1974)

American Journal of Science, vol.202
per: Kline Geology Lab
Publicat: (1921)

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

Proof theory: First step into impradictivity.
per: Pohlers, Wolfram
Publicat: (2009)

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

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

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

Proof theory sequent calculi and related formalisms
per: Bimbo, Katalin
Publicat: (2015)

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

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

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

Proofs and computations /
per: Schwichtenberg, Helmut, et al.
Publicat: (2012)

Logic and Proof
per: Bittnger, Marvin L
Publicat: (1970)

Proof in geometry /
per: Fetisov, A. I.
Publicat: (1978)

Godel's proof,
per: Nagel, Ernest
Publicat: (1986)

Abel's proof.
per: Pesic, Peter
Publicat: (2003)

Logic and Proof/
per: Bittinger, Marvin L.
Publicat: (1970)

Proofs and types /
per: Girard, Jean-Yves
Publicat: (1989)

Shark proof
per: Mackay, Harvey B.
Publicat: (1993)

Logic and proof
per: Bittinger, Marvin L
Publicat: (1970)

Proof Reading /

Godel's proof /
per: Nagel, Ernest
Publicat: (1964)

Conjecture and proof
per: Laczkovich, Miklos
Publicat: (2001)

Godel's proof /
per: Ernest Nagel
Publicat: (2005)

Proof Reading Oru kala(M)
per: Samkutty , K J
Publicat: (2010)

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

Proof Theory for fuzzy logics
per: Metcalfe, George
Publicat: (2009)

Number theory: An introduction to proof
per: Eynden, Charles Vanden
Publicat: (1970)

Number theory: An introduction to proof
per: Eynden, Charles Vanden
Publicat: (1970)

Proof theory for fuzzy logic
per: Metcalfe, George, et al
Publicat: (2009)

ISILC proof theory symposium
Publicat: (1975)

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