Imagen de Portada

Mathematical proof : an elementary approach /

Guardado en:

Autor Principal:	Hallerberg, Arthur E. 1918-1978.
Formato:	Libro
Idioma:	English
Publicado:	New York : Hafner Press, c1974.
Materias:	Proof theory.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Explanation and proof in mathematics : philosophical and educational perspectives /
Publicado: (2010)

Lectures on the Curry-Howard isomorphism /
por: Sørensen, Morten Heine.
Publicado: (2006)

Conocimiento de Dios por las vías de la razón y del amor /
por: Seifert, Josef.
Publicado: (2013)

Anselmo de Canterbury : esencial /
por: Anselmo, Santo, Arzobispo de Canterbury.
Publicado: (2010)

La cuestión de Dios : diálogos con Descartes, Feuerbach, Marx, Nietzsche y Ratzinger /
por: Recuero, José Ramón.
Publicado: (2014)

Proslogion /
por: Anselmo., Santo Arzobispo de Canterbury, 1033-1109.
Publicado: (2008)

Contra la carga de la prueba /
Publicado: (2019)

Doce pruebas de la inexistencia de Dios
por: Faure, Sèbastien.
Publicado: (2008)

2-D quadratic maps and 3-D ODE systems : a rigorous approach /
por: Zeraoulia, Elhadj.
Publicado: (2010)

Proofs from THE BOOK
por: Aigner, Martin.
Publicado: (2006)

Proof techniques in graph theory : proceedings /
Publicado: (1969)

Boolean-valued models and independence proofs in set theory /
por: Bell, J. L.
Publicado: (1977)

Guía integral para mejor probar la violencia de género /
por: Muñoz Sabaté, Luis,
Publicado: (2019)

La carga de la prueba por omisión de información al paciente /
por: Blanco Peréz-Rubio, Lourdes.
Publicado: (2013)

Gödel's proof /
por: Nagel, Ernest, 1901-1985.
Publicado: (1958)

Proof and computation /
Publicado: (1995)

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

Rethinking proof : with the Geometer's sketchpad /
por: De Villiers, Michael D.
Publicado: (2003)

Proof in VDM : a practitioner's guide /
Publicado: (1994)

Mathematical Masterpieces Further Chronicles by the Explorers /
por: Knoebel, Arthur.
Publicado: (2007)

Potestad sancionadora y carga de la prueba /
por: González Grimaldo, Mariano-Carmelo.
Publicado: (1967)

Formal development of programs and proofs /
Publicado: (1990)

Introduction to mathematical systems theory : a behavioral approach /
por: Polderman, Jan Willem, 1956-
Publicado: (1998)

Discrete mathematical structures and their applications /
por: Stone, Harold S., 1938-
Publicado: (1973)

The burdens of proof : Discriminatory power, weight o evidence, and tenacity of belief /
por: Nance, Dale A.
Publicado: (2016)

Mathematical control theory : an introduction /
por: Zabczyk, Jerzy.
Publicado: (1992)

Mathematical methods in queueing theory /
por: Kalashnikov, Vladimir Viacheslavovich.
Publicado: (1994)

The theory of mathematical machines /
Publicado: (1963)

Adapting Proofs-as-Programs The Curry-Howard Protocol /
por: Poernomo, Iman Hafiz.
Publicado: (2005)

The Congruences of a Finite Lattice A Proof-by-Picture Approach /
por: Grätzer, George.
Publicado: (2006)

Adapting Proofs-As-Programs : The Curry-horward Protocol /
por: Poernomo, Iman Hafiz.
Publicado: (2010)

Abstraction, Refinement and Proof for Probabilistic Systems
por: McIver, Annabelle.
Publicado: (2005)

Abstraction, refinement and proof for probabilistic systems /
por: McIver, Annabelle.
Publicado: (2005)

From Stochastic Calculus to Mathematical Finance The Shiryaev Festschrift /
por: Kabanov, Yuri.
Publicado: (2006)

The Mathematics of Arbitrage
por: Delbaen, Freddy.
Publicado: (2006)

Mathematical theory of entropy /
por: Martin, Nathaniel F. G.
Publicado: (1981)

Mathematical theory of connecting networks and telephone traffic /
por: Benes, V. E.
Publicado: (1965)

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
por: Gurevich, Yuri.
Publicado: (2007)

Mathematical Methods in Robust Control of Linear Stochastic Systems
por: Dragan, Vasile.
Publicado: (2006)

Topics in the mathematics of quantum mechanics /
por: Hermann, Robert, 1931-
Publicado: (1977)