|
|
|
|
LEADER |
00000cam a22000004a 4500 |
001 |
1153494 |
005 |
20091221151200.0 |
008 |
050803s2005 ne a b 001 0 eng |
097 |
|
|
|3 Bib#:
|a 1153494
|
010 |
|
|
|a 2005279961
|
015 |
|
|
|a GBA677849
|2 bnb
|
016 |
|
|
|a B0507112
|2 bccb
|
016 |
7 |
|
|a 013192868
|2 Uk
|
020 |
|
|
|a 1402033354 (e-book)
|
020 |
|
|
|a 9781402033353 (e-book)
|
020 |
|
|
|a 1402033346 (acid-free paper)
|
020 |
|
|
|a 9781402033346 (acid-free paper)
|
035 |
|
|
|a (OCoLC)ocm60333540
|
035 |
|
|
|a (OCoLC)60333540
|
040 |
|
|
|a DLC
|c DLC
|d OHX
|d BAKER
|d EYE
|d CUY
|d WAU
|d UMC
|d SYB
|d NLGGC
|d IG#
|d UKM
|d BTCTA
|d YDXCP
|d OCLCG
|
042 |
|
|
|a pcc
|
050 |
0 |
0 |
|a QA8.6
|b .V57 2005
|
072 |
|
7 |
|a QA
|2 lcco
|
082 |
0 |
0 |
|a 510.1
|2 22
|
084 |
|
|
|a 31.02
|2 bcl
|
245 |
0 |
0 |
|a Visualization, explanation and reasoning styles in mathematics /
|c edited by Paolo Mancosu, Klaus Frovin Jørgensen and Stig Andur Pedersen.
|
260 |
|
|
|a Dordrecht ;
|a Norwell, MA :
|b Springer,
|c c2005.
|
300 |
|
|
|a x, 300 p. :
|b ill. ;
|c 25 cm.
|
490 |
1 |
|
|a Synthese library,
|x 0082-1128 ;
|v v. 327
|
504 |
|
|
|a Includes bibliographical references and index.
|
505 |
0 |
0 |
|g Introduction /
|r P. Mancosu ... [et al.] --
|g PART I. MATHEMATICAL REASONING AND VISUALIZATION --
|t Visualization in logic and mathematics /
|r P. Mancosu --
|t From symmetry perception to basic geometry /
|r M. Giaquinto --
|t Naturalism, pictures, and Platonic intuitions /
|r J.R. Brown --
|t Mathematical activity /
|r M. Giaquinto --
|g PART II. MATHEMATICAL EXPLANATION AND PROOF STYLES --
|t Tertium non datur: on reasoning styles in early mathematics /
|r J. Høyrup --
|t The interplay between proof and algorithm in 3rd century China: the operation as prescription of computation and the operation as argument /
|r K. Chemla --
|t Proof style and understanding in mathematics I: visualization, unification and axiom choice /
|r J. Tappenden --
|t The varieties of mathematical explanations /
|r J. Hafner, P. Mancosu --
|t The aesthetics of mathematics: a study /
|r R. Netz.
|
650 |
|
0 |
|a Mathematics
|x Philosophy.
|
650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
650 |
|
0 |
|a Visualization.
|
700 |
1 |
|
|a Mancosu, Paolo.
|
700 |
1 |
|
|a Jørgensen, Klaus Frovin
|
700 |
1 |
|
|a Pedersen, Stig Andur,
|d 1943-
|
830 |
|
0 |
|a Synthese library
|v v. 327.
|
856 |
4 |
1 |
|3 Table of contents
|u http://www.loc.gov/catdir/toc/fy0607/2005279961.html
|t 0
|
856 |
4 |
2 |
|3 Publisher description
|u http://www.loc.gov/catdir/enhancements/fy0663/2005279961-d.html
|
991 |
|
|
|a 2009-12-21
|
992 |
|
|
|a Created by alte, 21/12/2009. Updated by alte, 21/12/2009.
|
999 |
f |
f |
|i 0600440c-c13a-52da-912e-d6f385f1510f
|s 682c63ee-a5dc-560a-bed7-c6a686f9a191
|t 0
|
952 |
f |
f |
|p For loan
|a University Of Canterbury
|b UC Libraries
|c EPS Library
|d EPS Library, Level 2
|t 0
|e QA 8.6 .V834 2005
|h Library of Congress classification
|i Book
|m AU15762424B
|