|
|
|
|
| LEADER |
00000pam a22000004a 4500 |
| 001 |
in00002697214 |
| 003 |
OCoLC |
| 005 |
20220616132106.0 |
| 008 |
020729t20022002ne b 001 0 eng |
| 010 |
|
|
|a 2002030034
|
| 015 |
|
|
|a GBA2-56725
|
| 019 |
|
|
|a 50494151
|
| 020 |
|
|
|a 1402007450 (alk. paper)
|
| 035 |
|
|
|a (OCoLC)50323030
|
| 040 |
|
|
|a DLC
|c DLC
|d YDX
|d OHX
|d UKM
|d EEM
|d UtOrBLW
|
| 042 |
|
|
|a pcc
|
| 049 |
|
|
|a EEMO
|
| 050 |
0 |
0 |
|a QA9
|b .P88 2002
|
| 072 |
|
7 |
|a QA
|2 lcco
|
| 082 |
0 |
0 |
|a 511.3
|2 21
|
| 100 |
1 |
|
|a Pym, David J.
|0 http://id.loc.gov/authorities/names/n2002158825
|
| 245 |
1 |
4 |
|a The semantics and proof theory of the logic of bunched implications /
|c by David J. Pym.
|
| 260 |
|
|
|a Dordrecht ;
|a Boston :
|b Kluwer Academic Publishers,
|c [2002], ©2002.
|
| 300 |
|
|
|a xlix, 287 pages ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a Applied logic series ;
|v v. 26
|
| 504 |
|
|
|a Includes bibliographical references (pages 271-282) and index.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|0 http://id.loc.gov/authorities/subjects/sh85078115
|
| 830 |
|
0 |
|a Applied logic series ;
|v v. 26.
|0 http://id.loc.gov/authorities/names/n96048526
|
| 907 |
|
|
|y .b3985906x
|b 211114
|c 030312
|
| 998 |
|
|
|a rs
|b 030716
|c m
|d a
|e -
|f eng
|g ne
|h 4
|i 2
|
| 994 |
|
|
|a E0
|b EEM
|
| 999 |
f |
f |
|i 02842c22-fd4f-5b16-9957-bf8948e781be
|s fb96d3d6-fc13-546a-a3a1-b07d0b15c0e7
|t 0
|
| 952 |
f |
f |
|p Can Circulate
|a Michigan State University-Library of Michigan
|b Michigan State University
|c MSU Remote Storage
|d MSU Remote Storage
|t 0
|e QA9 .P88 2002
|h Library of Congress classification
|i Printed Material
|m 31293003752924
|n 1
|
