|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
1062283 |
| 003 |
ICU |
| 005 |
19950912000000.0 |
| 008 |
900615s1990 enk b 00110 eng u |
| 010 |
|
|
|a 89027524
|
| 020 |
|
|
|a 0415000335
|
| 035 |
|
|
|a (ICU)BID12992440
|
| 035 |
|
|
|a (OCoLC)20417068
|
| 040 |
|
|
|a DLC
|c DLC
|d ICU
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
|
|a BC135
|b .G495 1990
|
| 082 |
0 |
|
|a 160
|2 20
|
| 100 |
1 |
|
|a Gill, R. R. Rockingham,
|d 1944-
|0 http://id.loc.gov/authorities/names/n89650698
|1 http://viaf.org/viaf/76391040
|
| 245 |
1 |
0 |
|a Deducibility and decidability /
|c R.R. Rockingham Gill.
|
| 260 |
0 |
|
|a London ;
|a New York :
|b Routledge,
|c 1990.
|
| 300 |
|
|
|a viii, 162 p. ;
|c 23 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
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|0 http://id.loc.gov/authorities/subjects/sh85078115
|
| 650 |
|
0 |
|a Decidability (Mathematical logic)
|0 http://id.loc.gov/authorities/subjects/sh85036191
|
| 650 |
|
7 |
|a Decidability (Mathematical logic)
|2 fast
|0 http://id.worldcat.org/fast/fst00888990
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 http://id.worldcat.org/fast/fst01002068
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 748aae33-5100-587d-8f07-040df35efbfe
|s c58181e3-0eb3-563d-a8f5-fd45e30f032e
|
| 928 |
|
|
|t Library of Congress classification
|a BC135.G4950 1990
|l JRL
|c JRL-Gen
|i 2789945
|
| 927 |
|
|
|t Library of Congress classification
|a BC135.G4950 1990
|l JRL
|c JRL-Gen
|b 32013431
|i 2319876
|
