LDR | |
00768nam a22002651i 4500 |
001 |
|
000155925 |
003 |
|
MiAaHDL |
005 |
|
20210817000000.0 |
006 |
|
m d |
007 |
|
cr bn ---auaua |
008 |
|
880715s1981 nyu b 00110 eng |
010 |
⊔ |
⊔ |
‡a80023655
|
020 |
⊔ |
⊔ |
‡a0070323216 :
‡c$17.95 (est.)
|
035 |
⊔ |
⊔ |
‡a(MiU)990001559250106381
|
035 |
⊔ |
⊔ |
‡asdr-miu.990001559250106381
|
035 |
⊔ |
⊔ |
‡a(OCoLC)6533106
|
035 |
⊔ |
⊔ |
‡a(CaOTULAS)160178428
|
035 |
⊔ |
⊔ |
‡a(RLIN)MIUG83-B36202
|
035 |
⊔ |
⊔ |
‡z(MiU)Aleph000155925
|
050 |
0 |
⊔ |
‡aBC71
‡b.J38 1981
|
082 |
0 |
⊔ |
‡a160
‡219
|
100 |
1 |
⊔ |
‡aJeffrey, Richard C.
|
245 |
1 |
0 |
‡aFormal logic :
‡bits scope and limits /
‡cRichard Jeffrey.
|
250 |
⊔ |
⊔ |
‡a2d ed.
|
260 |
⊔ |
⊔ |
‡aNew York :
‡bMcGraw-Hill,
‡cc1981.
|
300 |
⊔ |
⊔ |
‡axiv, 198 p. ;
‡c24 cm.
|
500 |
⊔ |
⊔ |
‡aIncludes index.
|
504 |
⊔ |
⊔ |
‡aBibliography: p. [189]-198.
|
538 |
⊔ |
⊔ |
‡aMode of access: Internet.
|
650 |
⊔ |
0 |
‡aLogic
|
CID |
⊔ |
⊔ |
‡a000155925
|
DAT |
0 |
⊔ |
‡a19880715000000.0
‡b20210817000000.0
|
DAT |
1 |
⊔ |
‡a20210921140708.0
‡b2023-02-02T18:42:20Z
|
CAT |
⊔ |
⊔ |
‡aSDR-MIU
‡dALMA
‡lprepare.pl-004-008
|
FMT |
⊔ |
⊔ |
‡aBK
|
HOL |
⊔ |
⊔ |
‡0sdr-miu.990001559250106381
‡aMiU
‡bSDR
‡cMIU
‡pmdp.39015003623785
‡sMIU
‡1990001559250106381
|
974 |
⊔ |
⊔ |
‡bMIU
‡cMIU
‡d20230202
‡sgoogle
‡umdp.39015003623785
‡y1981
‡ric
‡qbib
‡tUS bib date1 >= 1929
|