Loading…

Handbook of mathematical induction : theory and applications /

Show other versions (1)

Bibliographic Details
Call Number:	QA9.54 G8.62
Main Author:	Gunderson, David S
Format:	Book
Language:	Inglés
Published:	Boca Raton, Fl. : Chapman & Hall/CRC Press, 2011.
Series:	Discrete mathematics and its applications
Subjects:	Proof theory Demostración, Teoría de la Induction (Mathematics) Inducción (Matemáticas) Logic, Symbolic and mathematical Lógica matemática Probabilities Probabilidades

Similar Items

Handbook of Mathematical Induction.
by: Gunderson, David S.
Published: (2014)

Handbook of mathematical induction : theory and applications /
by: Gunderson, David S.
Published: (2010)

How to read and do proofs : an introduction to mathematical thought processes /
by: Solow, Daniel
Published: (2014)

Discrete mathematics and graph theory : a concise study companion and guide /
by: Erciyes, Kayhan
Published: (2021)

Introducción a la lógica matemática /
by: Tinoco del Valle, Jesús Antonio
Published: (2023)

Model theory and the philosophy of mathematical practice : formalization without foundationalism /
by: Baldwin, John T.
Published: (2018)

Números combinatorios y probabilidades
by: Miró, Ricardo
Published: (2007)

Lógica de enunciados algunos aspectos básicos /
by: Herrera Madrigal, José
Published: (1995)

Institution-independent model theory /
by: Diaconescu, Răzvan
Published: (2008)

Elementos básicos de matemáticas con herramientas interactivas /
by: Grisales Aguire, Andrés Mauricio
Published: (2018)

Lógica matemática /
by: Castro Tapia, Max Fernández
Published: (2011)

Introducció a la lg̣ica /
by: Barrière Figueroa, Eulalia
Published: (2006)

Lógica matemática /
by: Solís Daun, Julio Ernesto
Published: (1982)

The future of post-human mathematical logic /
by: Baofu, Peter
Published: (2008)

Introducción a la historia a la filosofía de la matemática. Volumen 2, hacia la formalización en Hilbert y en Bourbaki /
by: Campos, Alberto
Published: (2008)

Appalachian set theory : 2006-2012 /
Published: (2012)

Logicism and its philosophical legacy /
by: Demopoulos, William
Published: (2013)

Logicism and its philosophical legacy /
by: Demopoulos, William
Published: (2013)

EL razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
by: Kemel, George
Published: (2020)

Mathematical thinking and writing : a transition to abstract mathematics /
by: Maddox, Randall B.
Published: (2002)

El libro de las demostraciones /
by: Aigner, Martin, 1942-
Published: (2005)

Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)

Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)

Lógica matemática y teoría de conjuntos /
by: Vargas Villegas, Elizabeth
Published: (2019)

Discrete mathematics and its applications /
by: Rosen, Kenneth H.
Published: (2007)

Symmetry and its discontents : essays on the history of inductive probability /
by: Zabell, S. L., 1947-
Published: (2005)

Esquema para el pre-procesamiento de conjuntos de entrenamiento de clasificadores del vecino más cercano basado en extensiones a la teoría de los conjuntos aproximados /
by: Villuendas Rey, Yenny
Published: (2014)

Conditional and preferential logics : proof methods and theorem proving /
by: Pozzato, Gian Luca
Published: (2010)

Proof Logic and Formalization.
by: Detlefsen, Michael, 1948-
Published: (1992)

Matemáticas para informática /
by: Gutiérrez García, Ismael
Published: (2013)

El método de la inducción matemática
by: Sominskii, I. S.
Published: (1972)

Proof, logic, and formalization
Published: (1992)

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Published: (1999)

Linear Logic in Computer Science /
Published: (2004)

The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives /
by: Badesa, Calixto
Published: (2004)

A framework for priority arguments /
by: Lerman, M. (Manuel), 1943-
Published: (2010)

Los gráficos existenciales peirceanos : sistemas de lógicas diagramáticas del continuo : horosis, tránsitos, reflejos, fondos /
by: Zalamea Traba, Fernando, 1959-
Published: (2010)

Fundamentos de matemáticas y lógica
by: Gutiérrez González, Eduardo, et al.
Published: (1998)

Conditional and preferential logics : proof methods and theorem proving /
by: Pozzato, Gian Luca
Published: (2010)

Logic /
by: Hodges, Wilfrid, 1941-
Published: (2001)