LEADER 00797nam0-22002771i-450-
001 990001274670403321
005 20070524113558.0
035   $a000127467
035   $aFED01000127467
035   $a(Aleph)000127467FED01
035   $a000127467
100   $a20001205d1965----km-y0itay50------ba
101 0 $aeng
200 1 $aNatural deduction$ea proof-theoretical study$fDag Prawitz
210   $aStoccolma$cAlmqvist & Wiksell$d1965
225 1 $aActa Universitatis Stockholmiensis$eStockholm Studies in Philosophy
610 0 $aLogica matematica
676   $a511.3
700  1$aPrawitz,$bDag$049914
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001274670403321
952   $a11-M-5$b14184$fMA1
959   $aMA1
996   $aNatural Deduction$9341068
997   $aUNINA

LEADER 01453nam  2200433Ia 450 
001 9910711118303321
005 20180711121002.0
024 8 $aGOVPUB-C13-62b21006eef454ecdeb11ac28bcb492c
035   $a(CKB)5470000002480831
035   $a(OCoLC)959982914
035   $a(OCoLC)995470000002480831
035   $a(EXLCZ)995470000002480831
100   $a20161006d1954      ua             0
101 0 $aeng
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAppendix II to instruction book for tansmissometer set AN/GMQ-10 /$fNational Bureau of Standards
210  1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d1954.
215   $a1 online resource
225 1 $aNBS report ;$v3606
300   $a1954.
300   $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes.
300   $aTitle from PDF title page.
320   $aIncludes bibliographical references.
606   $aTransmissometers
606   $aTransmissometers$2fast
615  0$aTransmissometers.
615  7$aTransmissometers.
712 02$aUnited States.$bNational Bureau of Standards.
801  0$bNBS
801  1$bNBS
801  2$bOCLCO
801  2$bOCLCF
801  2$bOCLCQ
906   $aBOOK
912   $a9910711118303321
996   $aAppendix II to instruction book for tansmissometer set AN$93353612
997   $aUNINA