Cargando…

Distilling ideas : an introduction to mathematical thinking /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Katz, Brian P. (Autor), Starbird, Michael (Autor)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Washington, DC : Mathematical Association of America, [2013]
Colección:	MAA textbooks. Mathematics through inquiry.
Temas:	Logic, Symbolic and mathematical. Mathematics > Philosophy. Critical thinking. Logique symbolique et mathématique. Mathématiques > Philosophie. Pensée critique. MATHEMATICS > General. Critical thinking Logic, Symbolic and mathematical Mathematics > Philosophy
Acceso en línea:	Texto completo

Ejemplares similares

Mathematics and plausible reasoning.
por: Pólya, George, 1887-1985
Publicado: (1954)

Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)

Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)

Collected works.
por: Gödel, Kurt
Publicado: (1986)

Kurt Gödel : essays for his centennial /
Publicado: (2010)

Frege and Gödel : Two Fundamental Texts in Mathematical Logic /
Publicado: (2013)

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

Introduction to Mathematical Structures and Proofs.
por: Banchoff, Thomas F.
Publicado: (1996)

Quantifiers Propositions Identity.
por: Goldblatt, Robert
Publicado: (2011)

Mathematics and plausible reasoning.
por: Pólya, George, 1887-1985
Publicado: (1968)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
por: Hedman, Shawn
Publicado: (2004)

Logique arithmétique : l'arithmétisation de la logique /
por: Gauthier, Yvon, 1941-
Publicado: (2010)

Handbook of Mathematical Logic.
por: Barwise, Jon
Publicado: (1989)

Quantifiers, Propositions and Identity : Admissible Semantics for Quantified Modal and Substructural Logics /
por: Goldblatt, Robert
Publicado: (2011)

Logicism and its philosophical legacy /
por: Demopoulos, William
Publicado: (2013)

Logicism and its philosophical legacy /
por: Demopoulos, William
Publicado: (2013)

The foundations of mathematics /
por: Stewart, Ian, 1945-, et al.
Publicado: (2015)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

In the Light of Logic.
por: Feferman, Solomon
Publicado: (1999)

Mathematical logic in the 20th century /
Publicado: (2003)

Mathematical logic in the 20th century /
Publicado: (2003)

Methods and Applications of Mathematical Logic.
por: Carnielli, Walter A.
Publicado: (1988)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
por: Gödel, Kurt
Publicado: (1940)

Kurt Gödel : collected works.
por: Gödel, Kurt
Publicado: (2014)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Publicado: (2007)

Philosophy of mathematics in the twentieth century : selected essays /
por: Parsons, Charles, 1933-
Publicado: (2014)

The mathematics of logic : a guide to completeness theorems and their applications /
por: Kaye, Richard (Richard W.)
Publicado: (2007)

The mathematics of logic : a guide to completeness theorems and their applications /
por: Kaye, Richard (Richard W.)
Publicado: (2007)

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 /
por: Mancosu, Paolo
Publicado: (2010)

Proof, logic, and formalization /
Publicado: (1992)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

Formalism and beyond : on the nature of mathematical discourse /
Publicado: (2014)

Logic Colloquium 2007 /
Publicado: (2010)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /
Publicado: (2007)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Con argumento lógico : notas de matemáticas aplicadas /
por: VIRGILIO OBESO, MANUEL NAVARRO, FRANCISCO JOSE SA

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /
Publicado: (2016)

Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction /
por: Pudlák, Pavel
Publicado: (2013)