Cargando…

Mathematics and plausible reasoning. Volume II, Patterns of plausible inference /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Pólya, George, 1887-1985 (Autor)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Princeton, New Jersey : Princeton University Press, 1968.
Edición:	Second edition.
Temas:	Mathematics > Philosophy. Logic, Symbolic and mathematical. Mathématiques > Philosophie. Logique symbolique et mathématique.
Acceso en línea:	Texto completo

Ejemplares similares

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

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)

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

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

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

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

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

Mechanical logic in three-dimensional space /
por: Auletta, Gennaro
Publicado: (2013)

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

Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /
Publicado: (2017)

Logical dynamics of information and interaction /
por: Benthem, Johan van, 1949-
Publicado: (2011)

The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition /
por: Linsky, Bernard
Publicado: (2011)

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 /
Publicado: (2016)

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

Proof and knowledge in mathematics /
Publicado: (1992)

Proof and Other Dilemmas : Mathematics and Philosophy /
Publicado: (2011)

Logic with trees : an introduction to symbolic logic /
por: Howson, Colin
Publicado: (1997)

Studies in logic /
Publicado: (1983)

Classical mathematical logic : the semantic foundations of logic /
por: Epstein, Richard L., 1947-
Publicado: (2006)

Diamond : a paradox logic /
por: Hellerstein, N. S. (Nathaniel S.)
Publicado: (2010)

Elementary Logic
por: QUINE, W. V.
Publicado: (1980)

Advances in linear logic /
Publicado: (1995)

Logic Colloquium 2006 /
Publicado: (2009)

Deducibility and decidability /
por: Gill, R. R. Rockingham, 1944-
Publicado: (1990)

Lectures in logic and set theory.
por: Tourlakis, George J.
Publicado: (2003)

Reasoning about theoretical entities /
por: Forster, T. E.
Publicado: (2003)

Simplicity theory /
por: Kim, Byunghan
Publicado: (2014)

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

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

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

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)

Fixing Frege /
por: Burgess, John P., 1948-
Publicado: (2005)

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

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

Elements of mathematical logic (Model theory)
por: Kreisel, Georg, et al.
Publicado: (1967)

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

Mathematical interpretation of formal systems
Publicado: (1955)

A survey of mathematical logic /
Publicado: (1963)

Tractatus logico-philosophicus /
por: Wittgenstein, Ludwig, 1889-1951
Publicado: (2021)

Cannot write session to /tmp/vufind_sessions/sess_ck53sr78cgfuil3epfkoshd3an