|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
740008 |
| 003 |
ICU |
| 005 |
20060224100200.0 |
| 008 |
860213s1986 flu b 00110 eng u |
| 010 |
|
|
|a 85-019942
|
| 020 |
|
|
|a 0120585359 (alk. paper)
|
| 020 |
|
|
|a 0120585367 (pbk. : alk. paper)
|
| 035 |
|
|
|a (ICU)BID9509144
|
| 039 |
0 |
|
|a 2
|b 3
|c 3
|d 3
|e 3
|
| 040 |
|
|
|a DLC
|c DLC
|d ICU
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
|
|a QA9
|b .A638 1986
|
| 082 |
0 |
|
|a 511.3
|2 19
|
| 100 |
1 |
|
|a Andrews, P. B.
|q (Peter Bruce),
|d 1937-
|0 http://id.loc.gov/authorities/names/n84806108
|1 http://viaf.org/viaf/69161404
|
| 245 |
1 |
3 |
|a An Introduction to mathematical logic and type theory :
|b to truth through proof /
|c Peter B. Andrews.
|
| 246 |
3 |
|
|a Introduction to mathematical logic and type theory
|
| 260 |
0 |
|
|a Orlando :
|b Academic Press,
|c 1986.
|
| 300 |
|
|
|a xv, 304 p. ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Computer science and applied mathematics
|
| 500 |
|
|
|a Includes index.
|
| 504 |
|
|
|a Includes bibliographical references (p. 293-295) and index.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|0 http://id.loc.gov/authorities/subjects/sh85078115
|
| 650 |
|
0 |
|a Type theory.
|0 http://id.loc.gov/authorities/subjects/sh85139126
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 http://id.worldcat.org/fast/fst01002068
|
| 650 |
|
7 |
|a Type theory.
|2 fast
|0 http://id.worldcat.org/fast/fst01159972
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 035 |
|
|
|a (OCoLC)12419063
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 9cdc8d74-b3be-5dad-b11c-a0d40d759c60
|s 72a4659a-7425-56f1-a7e3-9c772ce9ec74
|
| 928 |
|
|
|t Library of Congress classification
|a QA9.A6380 1986
|l Eck
|c Eck-Eck
|i 1649713
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.A6380 1986
|l Eck
|c Eck-Eck
|b 25113268
|i 1790734
|
