LEADER 01299nam 2200313Ia 450 001 996393864803316 005 20200824125113.0 035 $a(CKB)3810000000004216 035 $a(EEBO)2248509036 035 $a(OCoLC)ocm9589985e 035 $a(OCoLC)9589985 035 $a(EXLCZ)993810000000004216 100 $a19830608d1649 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aChristus redivivus, the Lord is risen$b[electronic resource] $ebeing some account of Christ, what and where he is, of the glory and mystery of his person and office so miserably mangled now adaies : wherein also as in a glasse may be seene the image and proportion of all the waies and workes of God in the kingdomes of the world /$faccording to the measure of the light of things brought forth in Joshua Sprigge 210 $aLondon $cPrinted for Giles Calvert$d1649 215 $a[12], 39 p 300 $aRunning title: The mystery of Christ crucified and risen &c. 300 $aReproduction of original in the Bodleian Library. 330 $aeebo-0014 700 $aSprigg$b Joshua$f1618-1684.$01002643 801 0$bEEU 801 1$bEEU 801 2$bWaOLN 906 $aBOOK 912 $a996393864803316 996 $aChristus redivivus, the Lord is risen$92361311 997 $aUNISA LEADER 01699oam 2200493z 450 001 9910375989403321 005 20230901202809.0 035 $a(CKB)3170000000001124 035 $a(SSID)ssj0000753035 035 $a(PQKBManifestationID)12309516 035 $a(PQKBTitleCode)TC0000753035 035 $a(PQKBWorkID)10818943 035 $a(PQKB)11776080 035 $a(Association for Computing Machinery)10.1145/800206 035 $a(EXLCZ)993170000000001124 100 $a20160829h19811981 uy 0 101 0 $aeng 135 $aurnn|008mam|a 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSYMSAC '81 $eproceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation, Snowbird, Utah, August 5-7, 1981 /$fPaul S. Wang, editor 210 31$aNew York :$cAssociation for Computing Machinery,$d1981 210 4$aŠ1981 215 $a1 online resource (xi, 249 pages) $cillustrations 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 0 $a0-89791-047-8 410 0$aACM Conferences 517 3 $aSYMSAC '81 606 $aAlgebra$xData processing$vCongresses 606 $aProgramming languages (Electronic computers)$vCongresses 615 0$aAlgebra$xData processing 615 0$aProgramming languages (Electronic computers) 676 $a510 701 $aJenks$b Richard D$042436 702 $aWang$b Paul S. 712 02$aAssociation for Computing Machinery, 712 12$aACM Symposium on Symbolic and Algebraic Computation. 801 0$bPQKB 906 $aBOOK 912 $a9910375989403321 996 $aSYMSAC '81$93496725 997 $aUNINA