| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
in00001402040 |
| 005 |
20151020053019.0 |
| 008 |
970422s1997 ne a b 001 0 eng |
| 010 |
|
|
|a 97018876
|
| 020 |
|
|
|a 0792345932 (alk. paper)
|
| 035 |
|
|
|a (OCoLC)36841601
|
| 035 |
|
|
|9 AHM6724AM
|
| 040 |
|
|
|a DLC
|c DLC
|d TXA
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
0 |
0 |
|a QA9.54
|b .G68 1997
|
| 082 |
0 |
0 |
|a 511.3
|2 21
|
| 100 |
1 |
|
|a Goubault-Larrecq, Jean.
|
| 245 |
1 |
0 |
|a Proof theory and automated deduction /
|c by Jean Goubault-Larrecq and Ian Mackie.
|
| 264 |
|
1 |
|a Dordrecht ;
|a Boston :
|b Kluwer Academic,
|c [1997]
|
| 264 |
|
4 |
|c ©1997
|
| 300 |
|
|
|a xv, 424 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
|
| 490 |
1 |
|
|a Applied logic series ;
|v v. 6
|
| 504 |
|
|
|a Includes bibliographical references (pages 407-413) and index.
|
| 650 |
|
0 |
|a Proof theory.
|
| 650 |
|
0 |
|a Automatic theorem proving.
|
| 700 |
1 |
|
|a Mackie, I.
|q (Ian)
|
| 830 |
|
0 |
|a Applied logic series ;
|v v. 6.
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 8745ce6d-40b6-3611-91f5-76afba700ca7
|i 2faa5844-8e5a-3017-89b3-e6924991e74c
|t 0
|
| 952 |
f |
f |
|p ric
|a Texas A&M University
|b Rellis Campus
|c Joint Library Facility
|d Remote Storage
|t 0
|e QA9.54 .G68 1997
|h Library of Congress classification
|i unmediated -- volume
|m A14821616067
|
| 998 |
f |
f |
|a QA9.54 .G68 1997
|t 0
|l Remote Storage
|