LEADER 01558nam a2200325Ii 4500 001 991003277769707536 006 m d 007 cr cn||||||||| 008 070802s1994 ne a sb 101 0 eng d 020 $a9780444893413 020 $a0444893415 035 $ab13659637-39ule_inst 040 $aDip.to Matematica$beng 082 04$a501$222 111 2 $aInternational Congress of Logic, Methodology, and Philosophy of Science$n(9th :$d1991 :$cUppsala, Sweden)$0627641 245 10$aLogic, methodology, and philosophy of science IX$h[e-book] :$bproceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 /$cedited by Dag Prawitz ... [et al.] 260 $aAmsterdam ;$aNew York :$bElsevier,$c1994 300 $axiv, 989 p. :$bill. ;$c23 cm 440 0$aStudies in logic and the foundations of mathematics ;$v134 504 $aIncludes bibliographical references and index 650 0$aScience$xPhilosophy$vCongresses 650 0$aScience$xMethodology$vCongresses 650 0$aLogic, Symbolic and mathematical$vCongresses 700 1 $aPrawitz, Dag 856 40$3ScienceDirect$uhttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=134$zAn electronic book accessible through the World Wide Web; click for information 907 $a.b13659637$b03-03-22$c29-01-08 912 $a991003277769707536 996 $aLogic, methodology, and philosophy of science IX$91213950 997 $aUNISALENTO 998 $ale013$b29-01-08$cm$d@ $e-$feng$gne $h0$i0