LEADER 01021nam0 22002651i 450 
001 SUN0034195
005 20061013120000.0
010   $a88-13-25020-7
100   $a20050317d2004       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $aˆIl ‰comportamento antisindacale$easpetti sostanziali e processuali$fFilippo Collia, Francesco Rotondi
210   $aPadova$cCedam$d2004
215   $a379 p.$d25 cm.
620   $dPadova$3SUNL000007
700  1$aCollia$b, Filippo$3SUNV028767$0288580
701  1$aRotondi$b, Francesco$3SUNV002672$0288581
712   $aCEDAM$3SUNV005537$4650
801   $aIT$bSOL$c20181109$gRICA
912   $aSUN0034195
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00 CONS      IX.Eal.17                           $e00    26945                                 
995   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$h26945$kCONS IX.Eal.17$op$qa
996   $aComportamento antisindacale$968738
997   $aUNICAMPANIA

LEADER 02216oam  2200565M  450 
001 9910715665903321
005 20191121065736.1
035   $a(CKB)5470000002513404
035   $a(OCoLC)1065847292
035   $a(OCoLC)995470000002513404
035   $a(EXLCZ)995470000002513404
100   $a20070221d1838      ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAppropriations -- Army for 1839. (To accompany Bill H.R. No. 897.) December 21, 1838. Laid before the House by the Chairman of the Committee of Ways and Means, and ordered to be printed
210  1$a[Washington, D.C.] :$c[publisher not identified],$d1838.
215   $a1 online resource (32 pages) $ctables
225 1 $aHouse document / 25th Congress, 3rd session. House ;$vno. 38
225 1 $a[United States congressional serial set ] ;$v[serial no. 346]
300   $aBatch processed record: Metadata reviewed, not verified. Some fields updated by batch processes.
300   $aFDLP item number not assigned.
517   $aAppropriations -- Army for 1839. 
606   $aArsenals
606   $aArmories
606   $aArmed Forces$xAppropriations and expenditures
606   $aMilitary supplies
606   $aConstruction, Military
606   $aConstruction industry$xMilitary aspects
606   $aMilitary pay
607   $aUnited States$xArmed Forces$xAppropriations and expenditures
608   $aLegislative materials.$2lcgft
615  0$aArsenals.
615  0$aArmories.
615  0$aArmed Forces$xAppropriations and expenditures.
615  0$aMilitary supplies.
615  0$aConstruction, Military.
615  0$aConstruction industry$xMilitary aspects.
615  0$aMilitary pay.
712 02$aUnited States.$bWar Department.
801  0$bWYU
801  1$bWYU
801  2$bOCLCO
801  2$bOCLCQ
906   $aBOOK
912   $a9910715665903321
996   $aAppropriations -- Army for 1839. (To accompany Bill H.R. No. 897.) December 21, 1838. Laid before the House by the Chairman of the Committee of Ways and Means, and ordered to be printed$93307032
997   $aUNINA

LEADER 02458nam  2200553   450 
001 9910788767203321
005 20230308172405.0
010   $a0-8218-9889-2
035   $a(CKB)3360000000463969
035   $a(EBL)3113537
035   $a(SSID)ssj0000976606
035   $a(PQKBManifestationID)11528133
035   $a(PQKBTitleCode)TC0000976606
035   $a(PQKBWorkID)11019556
035   $a(PQKB)10622210
035   $a(MiAaPQ)EBC3113537
035   $a(RPAM)0000000642
035   $a(PPN)195408934
035   $a(EXLCZ)993360000000463969
100   $a20750507d1952      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTwo papers on the predicate calculus /$fS.C. Kleene
205   $aRev.
210  1$aProvidence :$cAmerican Mathematical Society,$d1952.
215   $a1 online resource (72 pages)
225 1 $aMemoirs of the American Mathematical Society ;$vnumber 10
300   $aCover title.
300   $a"Second printing, with revision, 1967."
311 0 $a0-8218-1210-6 
320   $aBibliography: pages [67]-68.
327   $a""PERMUTABILITY OF INFERENCES IN GENTZEN'S CALCULI LK AND LJ""; ""1. THE FORMAL SYSTEM G""; ""2. RELATIONSHIPS IN A PROOF IN G""; ""3 . INTERCHANGE OF ADJACENT LOGICAL INFERENCES""; ""4. PERMUTABILITY OF LOGICAL INFERENCES""; ""FINITE AXIOMATIZABILITY OF THEORIES IN THE PREDICATE CALCULUS USING ADDITIONAL PREDICATE SYMBOLS""; ""1. H-NUMBERS""; ""2. A PRIMITIVE RECURSIVE ENUMERATION OF H-NUMBERS""; ""3 . THE SYSTEM S[sub(1)]""; ""4. THE SYSTEMS S[sub(2)], S[sub(3)]""; ""5. THE SYSTEMS S[sub(0)], S""; ""6. A NON-CONSTRUCTIVE PROOF OF CONSISTENCY FOR THE CLASSICAL CASE""
327   $a""7. EFFECT OF THE EQUALITY AXIOMS WITH A NEW EQUALITY SYMBOL""""8. EFFECT OF THE AXIOMS OF S[sub(1)]""; ""9. EFFECT OF THE AXIOM OF S[sub(2)]""; ""10. EFFECT OF THE AXIOMS OF S[sub(3)]""; ""11. CONCLUSION OF THE CONSISTENCY PROOF""; ""BIBLIOGRAPHY""
410  0$aMemoirs of the American Mathematical Society ;$v10.
606   $aCalculus
606   $aPredicate calculus
615  0$aCalculus.
615  0$aPredicate calculus.
700   $aKleene$b Stephen Cole$f1909-1994,$057809
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910788767203321
996   $aTwo papers on the predicate calculus$93835376
997   $aUNINA