LEADER 00881nam0-2200277 --450 
001 9910628899903321
005 20221129114505.0
010   $a978-88-9391-896-1
020   $aIT$b2021-2447
100   $a20221129d2020----kmuy0itay5050    ba
101 0 $aita
102   $aIT
105   $ay       001yy
200 1 $a<<I >>limiti di proporzionalitą nella disciplina fiscale delle societą di comodo$fGiovanna Petrillo
210   $aNapoli$cEditoriale scientifica$dc2020
215   $a260 p.$d23 cm
225 1 $aRicerche giuridiche$v207
676   $a343.45067$v23$zita
700  1$aPetrillo,$bGiovanna$0143890
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a9910628899903321
952   $aCOLL. 357 (207)$b2021/1596$fFGBC
959   $aFGBC
996   $aLimiti di proporzionalitą nella disciplina fiscale delle societą di comodo$92968315
997   $aUNINA

LEADER 02902nam  2200673   450 
001 996466866203316
005 20220515073117.0
010   $a3-540-47135-9
024 7 $a10.1007/BFb0093921
035   $a(CKB)1000000000437031
035   $a(SSID)ssj0000324489
035   $a(PQKBManifestationID)12064894
035   $a(PQKBTitleCode)TC0000324489
035   $a(PQKBWorkID)10313418
035   $a(PQKB)10292502
035   $a(DE-He213)978-3-540-47135-6
035   $a(MiAaPQ)EBC5577878
035   $a(Au-PeEL)EBL5577878
035   $a(OCoLC)1066187075
035   $a(MiAaPQ)EBC6711214
035   $a(Au-PeEL)EBL6711214
035   $a(OCoLC)1285779942
035   $a(PPN)15519237X
035   $a(EXLCZ)991000000000437031
100   $a20220515d1990      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic and computer science $electures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /$fS. Homer [and four others]
205   $a1st ed. 1990.
210  1$aBerlin :$cSpringer-Verlag,$d[1990]
210  4$d©1990
215   $a1 online resource (VI, 170 p.) 
225 1 $aLecture Notes in Mathematics ;$v1429
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-52734-6 
327   $aThe isomorphism conjecture and its generalizations -- Some lectures on intuitionistic logic -- Making computers safe for the world: An introduction to proofs of programs part I -- Prolog Programming -- A guide to polymorphic types.
330   $aThe courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
410  0$aLecture notes in mathematics (Springer-Verlag) ;$v1429.
606   $aLogic, Symbolic and mathematical
606   $aProgramming (Mathematics)
606   $aComputational complexity
615  0$aLogic, Symbolic and mathematical.
615  0$aProgramming (Mathematics)
615  0$aComputational complexity.
676   $a511.3
700   $aHomer$b S$g(Steven),$0291864
701   $aHomer$b S$g(Steven)
701   $aOdifreddi$b Piergiorgio$f1950-$028537
712 02$aCentro internazionale matematico estivo.
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466866203316
996   $aLogic and computer science$92860226
997   $aUNISA