LEADER 01004nam0-2200337li-450 
001 990000160610203316
005 20180312154644.0
010   $a0-471-61546-3
035   $a0016061
035   $aUSA010016061
035   $a(ALEPH)000016061USA01
035   $a0016061
100   $a20001109d1987----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aLogic for computer science$efoundations of automatic theorem proving$fJean H. Gallier
210   $aNew York [etc.]$cJohn Wiley & Sons$dcopyr. 1987
610 1 $alogica simbolica
676   $a511.3$9.
700  1$aGallier,$bJean H.$065693
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000160610203316
951   $a511.3 GAL$b0004738
959   $aBK
969   $aTEC
979   $c19940606
979   $c20001110$lUSA01$h1712
979   $c20020403$lUSA01$h1623
979   $aPATRY$b90$c20040406$lUSA01$h1612
996   $aLogic for computer science$91488570
997   $aUNISA

LEADER 02007nam  2200577Ia 450 
001 9910459302403321
005 20200520144314.0
010   $a1-4384-3083-3
010   $a1-4416-4054-1
035   $a(CKB)2670000000016770
035   $a(OCoLC)593295694
035   $a(CaPaEBR)ebrary10574087
035   $a(SSID)ssj0000341073
035   $a(PQKBManifestationID)11947697
035   $a(PQKBTitleCode)TC0000341073
035   $a(PQKBWorkID)10390536
035   $a(PQKB)11300509
035   $a(MiAaPQ)EBC3407225
035   $a(MdBmJHUP)muse14023
035   $a(Au-PeEL)EBL3407225
035   $a(CaPaEBR)ebr10574087
035   $a(OCoLC)923403329
035   $a(EXLCZ)992670000000016770
100   $a20090701d2010      ub             d
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt
182   $cc
183   $acr
200 14$aThe old guard$b[electronic resource] /$fMieczys?aw Lurczyn?ski ; translated from the Polish by Alicia Nitecki ; edited and adapted by Gerald W. Speca
210   $aAlbany, N.Y. $cExcelsior Editions/State University of New York Press$dc2010
215   $a1 online resource (120 p.) 
300   $aOriginally published in 1946 as Stara gwardia, re-issued in 1971 in slightly abridged form under the title Alte Garde in author's Trzy sztuki (Three plays).
311   $a1-4384-3081-7 
320   $aIncludes bibliographical references and index.
606   $aHolocaust, Jewish (1939-1945)$vDrama
606   $aWorld War, 1939-1945$xConcentration camps$vDrama
608   $aElectronic books.
615  0$aHolocaust, Jewish (1939-1945)
615  0$aWorld War, 1939-1945$xConcentration camps
676   $a891.8/527
700   $aLurczyn?ski$b Mieczys?aw$01025081
701   $aNitecki$b Alicia$f1942-$01025082
701   $aSpeca$b Gerald W$01025083
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910459302403321
996   $aThe old guard$92436932
997   $aUNINA