LEADER 01360nam 2200325Ia 450 001 996383704103316 005 20200824132005.0 035 $a(CKB)1000000000592584 035 $a(EEBO)2264212880 035 $a(OCoLC)ocm8750992e 035 $a(OCoLC)8750992 035 $a(EXLCZ)991000000000592584 100 $a19820907d1684 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe tombes, monuments and sepulchral inscriptions lately visible in St. Paul's Cathedral and St. Faith's under it$b[electronic resource] $ecompleatly rendred in Latin and English, with several historical discourses on sundry persons intombed therein : a work never yet performed by any author old or new /$fby P.F 210 $aLondon $cPrinted for the author, and properly presenred [sic] to the kind encouragers of so worthy a work$d[1684?] 215 $a168, [8] p 300 $aDedication signed: Payne Fisher. 300 $aReproduction of original in the British Library. 330 $aeebo-0018 607 $aLondon (England)$xTombs 700 $aFisher$b Payne$f1616-1693.$01002600 801 0$bEEU 801 1$bEEU 801 2$bWaOLN 906 $aBOOK 912 $a996383704103316 996 $aThe tombes, monuments and sepulchral inscriptions lately visible in St. Paul's Cathedral and St. Faith's under it$92389326 997 $aUNISA LEADER 01447nam a2200361 i 4500 001 991001341109707536 005 20020507191709.0 008 940520s1984 de ||| | eng 020 $a3540960228 035 $ab10834047-39ule_inst 035 $aLE01310795$9ExL 040 $aDip.to Matematica$beng 082 0 $a511.3 084 $aAMS 68-06 084 $aAMS 68-XX 084 $aCR I.1 084 $aCR J.2 084 $aQA76.9.A96158 111 2 $aInternational conference on automated deduction <7. ; 1984 ; Napa, California>$0536790 245 10$a7th International Conference on Automated Deduction :$fNapa, California, USA, May 14-16, 1984 :$bproceedings /$ced. R. E. Shostak 246 10$aSeventh International Conference on Automated Deduction :$fNapa, California, USA, May 14-16, 1984 :$bproceedings 260 $aBerlin ; New York :$bSpringer-Verlag,$c1984 300 $avi, 508 p. :$bill. ;$c24 cm. 500 $aIncludes bibliographies 650 4$aAutomatic theorem proving$xCongresses 650 4$aSymbolic logic$xCongresses 700 1 $aShostak, Robert E. 907 $a.b10834047$b21-09-06$c28-06-02 912 $a991001341109707536 945 $aLE013 68-XX SHO11 (1984)$g1$i2013000142647$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10943316$z28-06-02 996 $a7th International Conference on Automated Deduction$9923620 997 $aUNISALENTO 998 $ale013$b01-01-94$cm$da $e-$feng$gde $h4$i1