|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
b1340976 |
003 |
MWH |
005 |
19950509100138.0 |
008 |
820830s1982 enk b 001 0 eng |
010 |
|
|
|a 80041798
|
020 |
|
|
|a 0198531737
|
035 |
|
|
|a (OCoLC)8407202
|
040 |
|
|
|a DLC
|c DLC
|d HCQ
|
049 |
|
|
|a HCQS
|
090 |
|
|
|a QA9.3 .S43 1982
|
100 |
1 |
|
|a Segerberg, Krister,
|d 1936-
|
245 |
1 |
0 |
|a Classical propositional operators :
|b an exercise in the foundations of logic /
|c by Krister Segerberg.
|
260 |
|
|
|a Oxford :
|b Clarendon Press ;
|a New York :
|b Oxford University Press,
|c 1982.
|
300 |
|
|
|a x, 151 p. ;
|c 24 cm.
|
440 |
|
0 |
|a Oxford logic guides ;
|v 5
|
504 |
|
|
|a Bibliography: p. [143]-144.
|
500 |
|
|
|a Includes indexes.
|
650 |
|
0 |
|a Propositional calculus.
|
907 |
|
|
|a .b13409761
|b 10-10-11
|c 10-04-03
|
998 |
|
|
|a hq
|b 10-01-03
|c m
|d a
|e -
|f eng
|g enk
|h 0
|i 1
|
995 |
|
|
|a MARION ACR-3177
|
945 |
|
|
|f - -
|g 1
|h 0
|i 38400001908514
|j - -
|k - -
|l hqcol
|o -
|p $0.00
|q -
|r -
|s -
|t 0
|u 0
|v 0
|w 0
|x 0
|y .i14128822
|z 10-04-03
|
999 |
f |
f |
|i 3f59debc-2697-524e-8366-90961671b65d
|s 045f51ac-54e5-5976-99b7-dc8748e5dd5b
|
952 |
f |
f |
|p Can Circulate
|a College of the Holy Cross
|b Main Campus
|c Science
|d Science Library
|e QA9.3 .S43 1982
|h Other scheme
|i Book
|m 38400001908514
|n 1
|