|
|
|
|
| LEADER |
00000pam a22000004a 4500 |
| 001 |
in00003217173 |
| 003 |
OCoLC |
| 005 |
20220616054517.0 |
| 008 |
040407s2004 enka b 001 0 eng |
| 010 |
|
|
|a 2004045921
|
| 020 |
|
|
|a 052154310X (pb.)
|
| 035 |
|
|
|a (OCoLC)54960031
|
| 040 |
|
|
|a DLC
|c DLC
|d YDX
|d MUQ
|d UtOrBLW
|
| 042 |
|
|
|a pcc
|
| 049 |
|
|
|a EEME
|
| 050 |
0 |
0 |
|a QA76.9.L63
|b H88 2004
|
| 082 |
0 |
0 |
|a 005.1/01/5113
|2 22
|
| 100 |
1 |
|
|a Huth, Michael,
|d 1962-
|0 http://id.loc.gov/authorities/names/n99026047
|
| 245 |
1 |
0 |
|a Logic in computer science :
|b modelling and reasoning about systems /
|c Michael Huth, Mark Ryan.
|
| 250 |
|
|
|a Second edition.
|
| 260 |
|
|
|a Cambridge, UK ;
|a New York :
|b Cambridge University Press,
|c 2004.
|
| 300 |
|
|
|a xiv, 427 pages :
|b illustrations ;
|c 25 cm
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references (pages 414-417) and index.
|
| 650 |
|
0 |
|a Computer logic.
|0 http://id.loc.gov/authorities/subjects/sh97004631
|
| 650 |
|
0 |
|a Logic programming.
|0 http://id.loc.gov/authorities/subjects/sh86003454
|
| 650 |
|
6 |
|a Logique informatique.
|
| 700 |
1 |
|
|a Ryan, Mark,
|d 1962-
|0 http://id.loc.gov/authorities/names/n93053240
|
| 856 |
4 |
1 |
|z Connect to: Table of contents - All users
|u http://catdir.loc.gov/catdir/toc/cam041/2004045921.html
|t 0
|
| 907 |
|
|
|y .b46834254
|b 211114
|c 041119
|
| 998 |
|
|
|a rs
|b 050113
|c m
|d a
|e -
|f eng
|g enk
|h 0
|i 2
|
| 994 |
|
|
|a 92
|b EEM
|
| 999 |
f |
f |
|i b68076da-18f3-5feb-ad43-904000aa2c9e
|s a3b99cb3-1420-5091-913e-01b2f867e4b0
|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 QA76.9.L63 H88 2004
|h Library of Congress classification
|i Printed Material
|m 31293003704206
|n 1
|
