Cargando…

Proof and knowledge in mathematics

Mostrar otras versiones (2)

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Otros Autores:	Detlefsen, Michael, 1948-
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	London ; New York : Routledge, 1992.
Temas:	Mathematics > Philosophy. Logic, Symbolic and mathematical. Electronic books.
Acceso en línea:	Texto completo

Ejemplares similares

Proof and knowledge in mathematics /
Publicado: (1992)

Proof and knowledge in mathematics /
Publicado: (1992)

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

Constructibility and mathematical existence.
por: Chihara, Charles S., 1932-
Publicado: (1991)

Mathematics, models, and modality : selected philosophical essays /
por: Burgess, John P., 1948-
Publicado: (2008)

Mathematical Logic /
por: Ebbinghaus, H.-D
Publicado: (1994)

Constructibility and mathematical existence /
por: Chihara, Charles S., 1932-
Publicado: (1990)

Introduction to Mathematical Structures and Proofs
por: Gerstein, Larry J.
Publicado: (2012)

Applied Proof Theory: Proof Interpretations and their Use in Mathematics
por: Kohlenbach, Ulrich
Publicado: (2008)

New essays on Tarski and philosophy
Publicado: (2008)

The Art of Proof Basic Training for Deeper Mathematics /
por: Beck, Matthias, et al.
Publicado: (2010)

Proofs and Fundamentals A First Course in Abstract Mathematics /
por: Bloch, Ethan D.
Publicado: (2011)

Filosofía sintética de las matemáticas contemporáneas /
por: Zalamea Traba, Fernando, 1959-
Publicado: (2009)

Phenomenology, logic, and the philosophy of mathematics /
por: Tieszen, Richard L., 1951-2017
Publicado: (2005)

Advances in Proof Theory
Publicado: (2016)

Oxford Handbook of Philosophy of Math and Logic.
por: Shapiro, Stewart
Publicado: (2005)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2010)

Proof Theory for Fuzzy Logics
por: Metcalfe, George, et al.
Publicado: (2009)

Proof Theory The First Step into Impredicativity /
por: Pohlers, Wolfram
Publicado: (2009)

The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
por: Murawski, Roman
Publicado: (2014)

The construction of logical space /
por: Rayo, Agustín
Publicado: (2013)

Foundational Theories of Classical and Constructive Mathematics
Publicado: (2011)

Matemática estructural /
por: Forero Cuervo, Andrés
Publicado: (2009)

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

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

First-Order Logic and Automated Theorem Proving /
por: Fitting, Melvin
Publicado: (1996)

Mathematical thought and its objects /
por: Parsons, Charles, 1933-
Publicado: (2008)

Mathematical Linguistics
por: Kornai, Andras
Publicado: (2008)

A Course in Mathematical Logic for Mathematicians
por: Manin, Yu. I.
Publicado: (2010)

Petr Hájek on Mathematical Fuzzy Logic
Publicado: (2015)

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV /
Publicado: (2009)

A Course on Mathematical Logic
por: Srivastava, Shashi Mohan
Publicado: (2008)

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

Mathematical Knowledge and the Interplay of Practices /
por: Ferreirós, José
Publicado: (2015)

A Concise Introduction to Mathematical Logic
por: Rautenberg, Wolfgang
Publicado: (2010)

Aspects of Mathematical Logic Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 /
Publicado: (2011)

Mathematical Problems from Applied Logic I Logics for the XXIst Century /
Publicado: (2006)

Mathematical Problems from Applied Logic II Logics for the XXIst Century /
Publicado: (2007)

A Beginner's Guide to Discrete Mathematics
por: Wallis, W.D
Publicado: (2012)

New Essays on Tarski and Philosophy : New Essays on Tarski and Philosophy.
por: Patterson, Douglas (Douglas Eden)
Publicado: (2008)