LEADER 00000cam  2200313Ia 4500 
001    695008859 
003    OCoLC 
005    20110623042628.0 
008    110104s2011    ne       b    000 0 eng d 
010    2011922884 
020    9400704305 
020    9789400704305 
035    (OCoLC)695008859 
040    YDXCP|cYDXCP|dOHX|dCDX|dINT|dSUC|dDGU|dAS|dMATH 
050  4 QA8.4|b.F68 2011 
245 00 Foundational theories of classical and constructive 
       mathematics /|cGiovanni Sommaruga, editor 
260    Dordrecht ;|aNew York :|bSpringer,|cc2011 
300    xi, 314 p. ;|c24 cm 
490 1  The Western Ontario series in philosophy of science ;
       |vvol. 76 
504    Includes bibliographical references 
650  0 Mathematics|xPhilosophy 
650  0 Constructive mathematics|xPhilosophy 
700 1  Sommaruga, Giovanni 
830  0 University of Western Ontario series in philosophy of 
       science ;|vv. 76