Opening book details…
Can I read Visualization, Explanation and Reasoning Styles in Mathematics (Synthese Library Book 327) on EtoBox?
Visualization, Explanation and Reasoning Styles in Mathematics (Synthese Library Book 327) by Paolo Mancosu; Klaus Frovin Jørgensen; Stig Andur Pedersen is a philosophy book available to read on EtoBox.
What is Visualization, Explanation and Reasoning Styles in Mathematics (Synthese Library Book 327) about?
A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated ac
Who reads Visualization, Explanation and Reasoning Styles in Mathematics (Synthese Library Book 327)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Paolo Mancosu; Klaus Frovin Jørgensen; Stig Andur Pedersen
- Publisher
- Springer Netherland
- Published
- 2005
- Language
- EN
- ISBN
- 9789048154036
- Category
- philosophy
- Subjects
- History, Mathematics, Philosophy
- Updated
- 2026-03-25
Other editions & translations
- Visualization, Explanation and Reasoning Styles in Mathematics (Synthese Library, 327) (2005)
- Visualization, explanation and reasoning styles in mathematics: [based on the Meeting "Mathematics as Rational Activity" held at Roskilde University, Denmark, f (2005)
- Philosophy of Mathematics: Oxford Bibliographies Online Research Guide (2010)
More by Paolo Mancosu; Klaus Frovin Jørgensen; Stig Andur Pedersen
Browse all works by Paolo Mancosu; Klaus Frovin Jørgensen; Stig Andur Pedersen
Similar books
- Abductive Reasoning: Logical Investigations into Discovery and Explanation (Synthese Library (330)) — ATOCHA ALISEDA (auth.) (2006)
- Mathematics and Art: Mathematical Visualization in Art and Education (Mathematics and Visualization) — Claude-Paul Bruter (auth.), Claude P. (2002)
- Visualization in Medicine and Life Sciences (Mathematics and Visualization) — Hagen, Hans; Hamann, Bernd; Linsen, Lars (2008)
- Topology-Based Methods in Visualization II (Mathematics and Visualization) — Hans-Christian Hege , Konrad Polthier , Gerik Scheuermann (2008)
- Arsyad al-Banjari’s Insights on Parallel Reasoning and Dialectic in Law: The Development of Islamic Argumentation Theory in the 18th Century in Southeast Asia (Logic, Argumentation & Reasoning, 25) — Muhammad Iqbal (2022)
- Tools and Mathematics (Mathematics Education Library Book 110) — John Monaghan, Luc Trouche, Jonathan M. Borwein (auth.) (2016)