LEADER 01183nam a2200289 i 4500 001 991000643389707536 008 090608s2008 mau b 001 0 eng d 020 $a0321526732 035 $ab13889023-39ule_inst 040 $aDip.to Ingegneria dell'Innovazione$beng 082 0 $a511.36$222 100 1 $aChartrand, Gary$065939 245 10$aMathematical proofs :$ba transition to advanced mathematics /$cGary Chartrand, Albert D. Polimeni, Ping Zhang 250 $a2nd ed. 260 $aBoston :$bPearson/Addison Wesley,$cc2008 300 $axv, 365 p. ;$c25 cm 504 $aIncludes bibliographical references and indexes 650 4$aProof theory$vTextbooks 700 1 $aPolimeni, Albert D.,$d1938- 700 1 $aZhang, Ping,$d1957- 856 41$zTable of contents only$uhttp://www.loc.gov/catdir/toc/fy0906/2006049605.html 907 $a.b13889023$b28-01-14$c17-03-10 912 $a991000643389707536 945 $aLE026 511.36 CHA 01.01 2008$g1$i2026000055107$lle026$nProf. Cafaro / Biblioteca$op$pE63.95$q-$rl$s- $t4$u2$v0$w2$x0$y.i15091934$z17-03-10 996 $aMathematical proofs$9224732 997 $aUNISALENTO 998 $ale026$b08-06-09$cm$da $e-$feng$gmau$h0$i0