Cargando…

History and philosophy of constructive type theory

Detalles Bibliográficos
Autores principales:	Hintikka, Jaakko, van Dalen, Dirk, Davidson, Donald
Lenguaje:	eng
Publicado:	Springer 2010
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2697867

Ejemplares similares

Truth, proof and infinity: a theory of constructions and constructive reasoning
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Internal logic
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Growth of mathematical knowledge
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Studies in inductive probability and rational expectation
por: Hintikka, Jaakko, et al.
Publicado: (1978)

Handbook of philosophical logic
por: Hintikka, Jaakko, et al.
Publicado: (1984)

Tool and object: a history and philosophy of category theory
por: Krömer, Ralf
Publicado: (2007)

Hilbert's program: an essay on mathematical instrumentalism
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Research in history and philosophy of mathematics: the CSHPM 2018 volume
por: Zack, Maria, et al.
Publicado: (2020)

2017 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics
por: Zack, Maria, et al.
Publicado: (2018)

2016 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics
por: Zack, Maria, et al.
Publicado: (2017)

Mathematics a concise history and philosophy
por: Anglin, W S
Publicado: (1994)

Handbook of the history and philosophy of mathematical practice
por: Aberdein, Andrew
Publicado: (2020)

Language, truth and logic in mathematics
por: Hintikka, Jaakko
Publicado: (1998)

The architecture of modern mathematics: essays in history and philosophy
por: Ferreiros, J, et al.
Publicado: (2006)

Companion encyclopedia of the history and philosophy of the mathematical sciences
por: Grattan-Guiness, Ivor
Publicado: (2016)

Category theory in physics, mathematics, and philosophy
por: Kuś, Marek, et al.
Publicado: (2019)

Philosophy of mathematics: set theory, measuring theories, and nominalism
por: Preyer, Gerhard, et al.
Publicado: (2008)

17th Canadian Congress of History and Philosophy of Mathematics
Publicado: (1991)

Making and breaking mathematical sense: histories and philosophies of mathematical practice
por: Wagner, Roi
Publicado: (2017)

2014 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics
por: Zack, Maria, et al.
Publicado: (2015)

2015 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics
por: Zack, Maria, et al.
Publicado: (2016)

Set theory and its philosophy: a critical introduction
por: Potter, Michael
Publicado: (2004)

Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies
por: Kennedy, Juliette, et al.
Publicado: (2011)

2002 Annual meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM)
por: Brummelen, Glen, et al.
Publicado: (2005)

Cosmology, physics, and philosophy: including a new theory of aesthetics
por: Gal-Or, Benjamin
Publicado: (1987)

Model theory and the philosophy of mathematical practice: formalization without foundationalism
por: Baldwin, John T
Publicado: (2018)

Mathematics and philosophy
por: Parrochia, Daniel
Publicado: (2018)

Philosophy of mathematics
por: Linnebo, Øystein
Publicado: (2017)

Philosophy of mathematics
por: Gabbay, Dov M, et al.
Publicado: (2009)

Mathematical Philosophy
por: De Gruyter Mouton
Publicado: (1976)

Philosophy of statistics
por: Bandyopadhyay, Prasanta S, et al.
Publicado: (2011)

Towards mathematical philosophy
por: Hendricks, Vincent F, et al.
Publicado: (2008)

A philosophy of mathematics
por: Kattsoff, Louis O
Publicado: (1948)

Berkeley's Philosophy of Mathematics
por: Jesseph, Douglas M
Publicado: (1993)

Philosophy of mathematics: an anthology
por: Jacquette, Dale
Publicado: (2002)

The Philosophy of Mathematical Practice
por: Mancosu, Paolo
Publicado: (2008)

Cosmology, physics and philosophy
por: Gal-Or, Benjamin
Publicado: (1983)

Philosophy of Public Health
por: Vallverdú, Jordi, et al.
Publicado: (2019)

Philosophy of mathematics today
por: Agazzi, E, et al.
Publicado: (1997)

Constructive measure theory
por: Bishop, Errett, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_j2980qp0ktike4oo8i9nl7aht3