LEADER 00739nam0-22002531i-450-
001 990001177210403321
035   $a000117721
035   $aFED01000117721
035   $a(Aleph)000117721FED01
035   $a000117721
100   $a20000920d1970----km-y0itay50------ba
101 0 $aeng
200 1 $aTwo Fundamental Texts in Mathematical Logic$fby FREGE AND GODEL.
210   $aCambridge [Mass.]$cHarvard University Press$d1970
300   $aEDITED BY JEAN HEIJENOORT.
700  1$aFrege,$bG.$0348937
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001177210403321
952   $a11-M-36$b15285$fMA1
959   $aMA1
996   $aTwo Fundamental Texts in Mathematical Logic$9341996
997   $aUNINA
DB    $aING01

LEADER 01019nam a22002651i 4500
001 991002071889707536
005 20030402092730.0
008 030925s1948    it |||||||||||||||||ita  
035   $ab12238065-39ule_inst
035   $aARCHE-028568$9ExL
040   $aBiblioteca Interfacoltà$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.
082 04$a141
100 1 $aCiardo, Manlio$0157521
245 13$aUn fallito tentativo di riforma dello hegelismo :$bl'idealismo attuale /$cManlio Ciardo
260   $aBari :$bGius. Laterza & Figli,$c1948
300   $aVII, 216 p. ;$c20 cm
440  0$aBiblioteca di cultura moderna
650  4$aFilosofia
907   $a.b12238065$b02-04-14$c08-10-03
912   $a991002071889707536
945   $aLE002 141 CIA 1948
945   $aLE002 Fil. III B 34$g1$i2002000060686$lle002$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i12621985$z08-10-03
996   $aFallito tentativo di riforma dello hegelismo$9153807
997   $aUNISALENTO
998   $ale002$b08-10-03$cm$da  $e-$fita$git $h3$i1

LEADER 01210nam  2200361   450 
001 9910412291103321
005 20230822145446.0
035   $a(CKB)5280000000244051
035   $a(NjHacI)995280000000244051
035   $a(EXLCZ)995280000000244051
100   $a20230822d2020      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLCTES '20 $ethe 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems : June 16, 2020, London, United Kingdom /$fJingling Xue, Changhee Jung
210  1$aNew York, NY :$cThe Association for Computing Machinery,$d[2020]
215   $a1 online resource
311   $a1-4503-7094-2 
606   $aCompilers (Computer programs)
606   $aEmbedded computer systems$xProgramming
615  0$aCompilers (Computer programs)
615  0$aEmbedded computer systems$xProgramming.
676   $a005.453
700   $aXue$b Jingling$01383796
702   $aJung$b Changhee
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910412291103321
996   $aLCTES '20$93429142
997   $aUNINA