|
|
|
|
| LEADER |
00000pam a2200000 a 4500 |
| 001 |
b1053999 |
| 003 |
MWH |
| 005 |
19871202155416.0 |
| 008 |
850809s1986 flu b 00110 eng |
| 010 |
|
|
|a 85019942
|
| 020 |
|
|
|a 0120585359 (alk. paper)
|
| 020 |
|
|
|a 0120585367 (pbk. : alk. paper)
|
| 035 |
|
|
|a 12419063
|
| 040 |
|
|
|a DLC
|c DLC
|d m/c
|d HCD
|
| 049 |
|
|
|a HCDS
|c 1
|
| 090 |
|
|
|a QA9 .A638 1986
|
| 100 |
1 |
0 |
|a Andrews, P. B.
|q (Peter Bruce),
|d 1937-
|
| 245 |
1 |
3 |
|a An introduction to mathematical logic and type theory :
|b to truth through proof /
|c Peter B. Andrews.
|
| 260 |
0 |
|
|a Orlando :
|b Academic Press,
|c 1986.
|
| 300 |
|
|
|a xv, 304 p. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Computer science and applied mathematics
|
| 504 |
|
|
|a Bibliography: p. 293-295.
|
| 500 |
|
|
|a Includes index.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 650 |
|
0 |
|a Type theory.
|
| 830 |
|
0 |
|a Computer science and applied mathematics.
|
| 907 |
|
|
|a .b10539992
|b 10-10-11
|c 10-03-03
|
| 998 |
|
|
|a hq
|b 10-01-03
|c m
|d a
|e -
|f eng
|g flu
|h 3
|i 1
|
| 995 |
|
|
|a MARION AAB-4447
|
| 945 |
|
|
|f - -
|g 1
|h 0
|i 38344000146223
|j - -
|k - -
|l hqcol
|o -
|p $0.00
|q -
|r -
|s -
|t 0
|u 4
|v 0
|w 0
|x 0
|y .i10556060
|z 10-03-03
|
| 999 |
f |
f |
|i 027cac3f-f610-5e58-9bcd-6005e5189df5
|s 26e6e40e-fc70-5247-b94f-f129aa628f9f
|t 0
|
| 952 |
f |
f |
|p Can Circulate
|a College of the Holy Cross
|b Main Campus
|c Science
|d Science Library
|t 0
|e QA9 .A638 1986
|h Other scheme
|i Book
|m 38344000146223
|