LEADER 00909nam0-22003251i-450- 001 990000950730403321 005 20071126104616.0 035 $a000095073 035 $aFED01000095073 035 $a(Aleph)000095073FED01 035 $a000095073 100 $a20001205d1954----km-y0itay50------ba 101 0 $aeng 102 $aNL 105 $ay-------001yy 200 1 $aSolvable cases of the decision problem$fW. Ackermann 210 $aAmsterdam$cNorth-Holland$d1954 215 $aVIII, 114 p.$d22 cm 225 1 $aStudies in logic and the foundations of mathematics 610 0 $aLogica 610 0 $aRicorsivitą 676 $a160 700 1$aAckermann,$bWilhelm$f<1896-1962>$044150 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000950730403321 952 $a7-040$b438$fFI1 959 $aFI1 996 $aSolvable cases of the decision problem$9344907 997 $aUNINA LEADER 01911nam0-22003731i-450- 001 990010101430403321 005 20160928151742.0 012 $am.i- o.ex des. eSdE (3) 1556 (R)$2fei$5IT-NAStoriadelDiritto 035 $a001010143 035 $aFED01001010143 035 $a(Aleph)001010143FED01 035 $a001010143 100 $a20160914d1556----km-y0itay50------ba 101 0 $alat 140 $aa-------------------bb0----- 200 1 $aDigestum nouum. Pandectarum iuris ciuilis tomus tertius sextae partis reliquum, ac septimam, eandemque nouissimam Digestorum partem continens, ex Pandectis Florentinis ita in vniuersum recognitus, ac emendatus: ... Adiecimus pluribus locis annotationes ex varijs, ijsdemque classicis authoribus, ... Inscriptiones pręterea singulorum capitum indicantes, ... 210 $aLugduni$capud Hugonem ą Porta$d1556$eLugduni$gexcudebat Bartholomęus Fręnus 215 $a[56], 866 p.$cill.$dfol. 306 $aSul front. marca dei de La Porte: Centurione con due battenti di legno, recanti le scritte "libertatem meam" e "mecum porto", attraversa una porta monumentale sormontata dall'effigie di Giano 307 $aIniziali e fregi xil. 307 $aFront. e testo stampati in carattere rosso e nero 307 $aSegn.: 2a-2b? 2c-2d? a-z? A-2G? 2H¹?(-2H10) 311 $aPrecede il testo: Nouissima & admodum frugifera exceptionum arbor, aedita per disertum virum Petrum Rebuffi de Monte Pessullano ... ab authore iam recens recognita, & emendata 318 $aRestauro della legatura in pelle$5IT-NAStoriadelDiritto: XI B 3 423 0$12001$aExceptionum arbor 500 11$aCorpus iuris civilis. Digestum novum. 620 $aFrancia.$dLione 702 1$aRebuffi,$bPierre$f<1487-1557> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aAQ 912 $a990010101430403321 952 $aXI B 3$b1151$fSDI 959 $aSDI 997 $aUNINA