|
|
|
|
| LEADER |
00000pam a2200000 a 4500 |
| 001 |
3247507 |
| 003 |
ICU |
| 005 |
20030526071200.0 |
| 008 |
970314s1997 enka b 001 0 eng |
| 010 |
|
|
|a 97011503
|
| 020 |
|
|
|a 0198751419 (acid-free paper)
|
| 020 |
|
|
|a 0198751427 (pb : acid-free paper)
|
| 035 |
|
|
|a (NhCcYBP)YBT 97011503
|
| 035 |
|
|
|a (NhCcYBP)YBP98208152916
|
| 040 |
|
|
|a DLC
|c DLC
|d DLC
|d OrLoB-B
|d OCoLC
|
| 050 |
0 |
0 |
|a BC135
|b .B473 1997
|
| 082 |
0 |
0 |
|a 160
|2 21
|
| 100 |
1 |
|
|a Bostock, David.
|0 http://id.loc.gov/authorities/names/n80098417
|1 http://viaf.org/viaf/29616847
|
| 245 |
1 |
0 |
|a Intermediate logic /
|c David Bostock.
|
| 260 |
|
|
|a Oxford :
|b Clarendon Press ;
|a New York :
|b Oxford University Press,
|c 1997.
|
| 300 |
|
|
|a ix, 393 p. :
|b ill. ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 504 |
|
|
|a Includes bibliographical references (p. 379-381) and index.
|
| 505 |
0 |
0 |
|g Pt. I.
|t Semantics.
|g 1.
|t Introduction.
|g 2.
|t Truth-Functors.
|g 3.
|t Quantifiers --
|g Pt. II.
|t Proofs.
|g 4.
|t Semantic Tableaux.
|g 5.
|t Axiomatic Proofs.
|g 6.
|t Natural Deduction.
|g 7.
|t Sequent Calculi --
|g Pt. III.
|t Further Topics.
|g 8.
|t Existence and Identity.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|0 http://id.loc.gov/authorities/subjects/sh85078115
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 http://id.worldcat.org/fast/fst01002068
|
| 901 |
|
|
|a toc_bna
|
| 903 |
|
|
|a HeVa
|
| 035 |
|
|
|a (OCoLC)36621883
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 7df0b085-e8db-5ff7-9ccc-e2ac2e45bf95
|s ad83c8f4-dd75-5bdb-9e02-d308d5bc63c2
|
| 928 |
|
|
|t Library of Congress classification
|a BC135 .B473 1997
|l ASR
|c ASR-SciASR
|i 3534120
|
| 927 |
|
|
|t Library of Congress classification
|a BC135 .B473 1997
|l ASR
|c ASR-SciASR
|e CRERAR
|b 49717115
|i 5608247
|
