LEADER 01717nas  2200397 n 450 
001 990008992680403321
005 20240229084308.0
011   $a0022-4049
035   $a000899268
035   $aFED01000899268
035   $a(Aleph)000899268FED01
035   $a000899268
091   $2CNR$aP 00046152
100   $a20161109a19719999km-y0itaa50------ba
101 0 $aeng
102   $aNL
110   $aauu--------
200 1 $aJournal of pure and applied algebra
207  1$a1971-
210   $aAmsterdam$cNorth-Holland
452  0$12001$aJournal of pure and applied algebra
530 0 $aJournal of pure and applied algebra
675   $a512.001
675   $a512.004
675   $a512
676   $a512
801  0$aIT$bACNP$c20090723
859 4 $uhttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/dc-p1.tcl?catno=31765&person=false&language=ITALIANO&libr=&libr_th=unina1$zBiblioteche che possiedono il periodico
901   $aSE
912   $a990008992680403321
958   $aBiblioteca "Carlo Miranda" del Dipartimento di Matematica e Applicazioni "Renato Caccioppoli" Università Federico II$b1971-1980;1981-$c1991;1992;1995;2001;$ePER. 31$fMA1
959   $aMA1
996   $aJournal of pure and applied algebra$9794223
997   $aUNINA
AP1 8 $6866-01$aNA014 Biblioteca "Carlo Miranda" del Dipartimento di Matematica e Applicazioni "Renato Caccioppoli" Università Federico II$bPER. 31$ev. Cintia-Monte Sant'Angelo, 80126 Napoli (NA)$m081-675749/675738/675848$m081-675746 opp.7662106$nit
AP2 40$aacnp.cib.unibo.it$nACNP Italian Union Catalogue of Serials$uhttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=31765&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO

LEADER 01351nam0 22003493i 450 
001 VAN0243869
005 20240514111855.754
010   $a978-88-470-1883-9
100   $a20220328d2011       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $aLogica: metodo breve$fDaniele Mundici
210   $aMilano$cSpringer$d2011
215   $aXI, 126 p.$d24 cm
410  1$1001VAN0045576$12001 $aUnitext$1210  $aMilano [etc.]$cSpringer$v50
500  1$3VAN0243860$aLogica: metodo breve$92983391
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
610   $aCompattezza e modelli nonstandard$9KW:K
610   $aDeduzione Automatica$9KW:K
610   $aLogica Matematica$9KW:K
610   $aSemantica di Tarski$9KW:K
610   $aTeorema di Completezza di Gödel$9KW:K
620   $dMilano$3VANL000284
700  1$aMundici$bDaniele$3VANV069606$062698
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240614$gRICA
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0243869
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      03-XX                   2940        $e08   9083      I       20110704            
996   $aLogica: metodo breve$92983391
997   $aUNICAMPANIA