Proof, logic and formalization

Éditeur :
Taylor & Francis Ltd
ISBN :
9780415023351
Date de publication :
9 janv. 1992
Dimensions :
21,6 x 13,8 cm
Poids :
453 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.