Načítá se...

QR kód

Theory of proofs M202.25 /

Podrobná bibliografie
Korporativní autor:	Mathematics foundation course team(Open University)
Médium:	Printed Book
Jazyk:	English
Vydáno:	England : Open University Press, 1973.

Podobné jednotky

Načítá se...

Theory of proofs units 25 /
Autor: Open University Course Team
Vydáno: (1973)

Načítá se...

Deprivation, disadvantage and compensation E202 25-26 /
Autor: Giles, Ken
Vydáno: (1977)

Načítá se...

Turing Machines M202.16 /
Vydáno: (1973)

Načítá se...

Recursive functions M202.21 /
Vydáno: (1973)

Načítá se...

Finate state mechanics M202.9 /
Vydáno: (1973)

Načítá se...

Proof theory
Autor: Takeuti, Gaisi
Vydáno: (1975)

Načítá se...

Proof theory
Autor: Schutte, Kurt
Vydáno: (1977)

Načítá se...

Review of the course E202 32 /
Autor: Hall, Stuart
Vydáno: (1977)

Načítá se...

Romanticism A202 33-34 /
Autor: Edwards, Owain
Vydáno: (1974)

Načítá se...

American Journal of Science, vol.202
Autor: Kline Geology Lab
Vydáno: (1921)

Načítá se...

Journal of Biological Chemistry, Vol.202
Autor: Anderson, Rudolph J, Ed., et al
Vydáno: (1953)

Načítá se...

Proof theory: First step into impradictivity.
Autor: Pohlers, Wolfram
Vydáno: (2009)

Načítá se...

Applied proof theory: Proof interpretations and their use in mathematics/
Autor: Kohlenbach,Ulrich
Vydáno: (2008)

Načítá se...

Applied proof theory proof interpretations and their use in mathematics
Autor: Kohlenbach. U.
Vydáno: (2008)

Načítá se...

Applied proof theory : proof interpretations and their use in mathematics /
Autor: Kohlenbach, U.
Vydáno: (2008)

Načítá se...

Proof theory sequent calculi and related formalisms
Autor: Bimbo, Katalin
Vydáno: (2015)

Načítá se...

Applied Proof Theory: Proof Interpretations and their use in Mathematics /
Vydáno: (2008)

Načítá se...

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

Načítá se...

Proof theory: A selection of papers from the leeds theory programme
Autor: Aczel, Peter, Ed
Vydáno: (1992)

Načítá se...

Proofs and computations /
Autor: Schwichtenberg, Helmut, a další
Vydáno: (2012)

Načítá se...

Logic and Proof
Autor: Bittnger, Marvin L
Vydáno: (1970)

Načítá se...

Proof in geometry /
Autor: Fetisov, A. I.
Vydáno: (1978)

Načítá se...

Godel's proof,
Autor: Nagel, Ernest
Vydáno: (1986)

Načítá se...

Abel's proof.
Autor: Pesic, Peter
Vydáno: (2003)

Načítá se...

Logic and Proof/
Autor: Bittinger, Marvin L.
Vydáno: (1970)

Načítá se...

Proofs and types /
Autor: Girard, Jean-Yves
Vydáno: (1989)

Načítá se...

Shark proof
Autor: Mackay, Harvey B.
Vydáno: (1993)

Načítá se...

Logic and proof
Autor: Bittinger, Marvin L
Vydáno: (1970)

Načítá se...

Proof Reading /

Načítá se...

Godel's proof /
Autor: Nagel, Ernest
Vydáno: (1964)

Načítá se...

Conjecture and proof
Autor: Laczkovich, Miklos
Vydáno: (2001)

Načítá se...

Godel's proof /
Autor: Ernest Nagel
Vydáno: (2005)

Načítá se...

Proof Reading Oru kala(M)
Autor: Samkutty , K J
Vydáno: (2010)

Načítá se...

Applied proof theory proof interpretations and thier use in mathematics
Autor: Kohlenbach, Ulrich
Vydáno: (2008)

Načítá se...

Proof Theory for fuzzy logics
Autor: Metcalfe, George
Vydáno: (2009)

Načítá se...

Number theory: An introduction to proof
Autor: Eynden, Charles Vanden
Vydáno: (1970)

Načítá se...

Number theory: An introduction to proof
Autor: Eynden, Charles Vanden
Vydáno: (1970)

Načítá se...

Proof theory for fuzzy logic
Autor: Metcalfe, George, et al
Vydáno: (2009)

Načítá se...

ISILC proof theory symposium
Vydáno: (1975)

Načítá se...

Napolean; and restoration Europe A202 7-8 /
Autor: Emsley, Clive
Vydáno: (1972)