Proof /

Guardado en:

Detalles Bibliográficos
Formato:	Libro
Publicado:	Australia : The Australian Film Commission, 1991.
Aporte de:	Registro referencial: Solicitar el recurso aquí Biblioteca Laura Manzo (UNQ) de Universidad Nacional de Quilmes

Ejemplares similares

The burden of Proof /
por: Turow, Scott
Publicado: (1996)

The nature of proof
por: Fawcett, Harold Pascoe
Publicado: (1938)

Gödel's proof
por: Nagel, Ernest
Publicado: (1958)

The moment of proof mathematical epiphanies /
por: Benson, Donald C.
Publicado: (1999)

Proofs from the book /
por: Aigner, Martin
Publicado: (1998)

G�odel's proof /
por: Nagel, Ernest, 1901-1985
Publicado: (2005)

Proof and knowledge in mathematics
Publicado: (1992)

Proof, logic, and formalization
Publicado: (1992)

Proofs from The Book /
por: Aigner, Martin, 1942-
Publicado: (1998)

Proofs from the book
por: Aigner, Martin
Publicado: (2010)

Aspects on the burden of proof /
Publicado: (1960)

History, rhetoric, and proof
por: Ginzburg, Carlo
Publicado: (1999)

Analysis with an introduction to proof /
por: Lay, Steven R., 1944-
Publicado: (2014)

A Question of Proof /
por: Blake, Nicholas
Publicado: (1979)

Proofs and refutations : the logic of mathematical discovery
por: Lakatos, Imre
Publicado: (1976)

Resolution proof systems : an algebraic theory /
por: Stachniak, Zbigniew
Publicado: (1996)

Combinators, terms and proof theory.
por: Stenlund, Sören
Publicado: (1972)

Burdens of proof in modern discourse /
por: Gaskins, Richard H.
Publicado: (1992)

The international journal of evidence & proof
Publicado: (1996)

Introduction to proof in abstract mathematics /
por: Wohlgemuth, Andrew
Publicado: (1990)

Formal development of programs and proofs
Publicado: (1990)

Introduction to mathematical structures and proofs
por: Gerstein, Llarry J.
Publicado: (1996)

Proofs without words : exercises in visual thinking
por: Nelsen, Roger B.
Publicado: (1993)

Many infallible proofs : Practial and useful evidenses of chistianity.
por: Morris, Henry M.
Publicado: (1980)

Proofs without words : more exercises in visual thinking
por: Nelsen, Roger B.
Publicado: (2000)

Avances en Proof-Carrying Code
por: Bavera, Francisco, et al.
Publicado: (2003)

Lectures on proof verification and approximation algorithms
Publicado: (1998)

Using Z specification, refinement, and proof /
por: Woodcock, Jim
Publicado: (1996)

Combinatorial hardness proofs for polynomial evaluation
por: Aldaz, M., et al.

The first-order hypothetical logic of proofs
por: Steren, G., et al.

The first-order hypothetical logic of proofs
Publicado: (2017)

Combinatorial hardness proofs for polynomial evaluation
por: Matera, Guillermo
Publicado: (1998)

Modern cryptography, probabilistic proofs and pseudorandomness
por: Goldreich, Oded
Publicado: (1999)

The first-order hypothetical logic of proofs
por: Steren, G.
Publicado: (2017)

Combinatorial hardness proofs for polynomial evaluation
por: Aldaz, M.
Publicado: (1998)

How to read and do proofs : an introduction to mathematical thought processes /
por: Solow, Daniel
Publicado: (1990)

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
por: Wallen, Lincoln A.
Publicado: (1989)

Rural Proofing : una herramienta posible para afrontar el despoblamiento de forma transversal o un posible isomorfismo institucional
por: Lopez Binaghi, Facundo

Matrix proof method in annotated paraconsistent logic
por: Kaestner, Celso A. A.
Publicado: (1995)