|
|
|
|
LEADER |
00000nam a2200000 a 4500 |
001 |
1484764 |
003 |
ICU |
005 |
20020105194100.0 |
008 |
930719s1994 mau b 000 0 eng u |
010 |
|
|
|a 93009347 //r93
|
020 |
|
|
|a 0817635793 (Boston : alk. paper)
|
020 |
|
|
|a 3764335793 (Basel : alk. paper)
|
035 |
|
|
|a (ICU)BID17312104
|
035 |
|
|
|a (OCoLC)27381856
|
040 |
|
|
|a DLC
|c DLC
|d DLC
|d ICU
|
041 |
0 |
|
|a eng
|
050 |
0 |
0 |
|a QA3
|b .P78 1993
|
082 |
0 |
0 |
|a 510
|2 20
|
100 |
1 |
|
|a Post, Emil Leon,
|d 1897-1954
|0 http://id.loc.gov/authorities/names/n93005763
|1 http://viaf.org/viaf/41933673
|
240 |
1 |
0 |
|a Works.
|f 1993
|
245 |
1 |
0 |
|a Solvability, provability, definability :
|b the collected works of Emil L. Post /
|c Martin Davis, editor.
|
260 |
|
|
|a Boston :
|b Birkhäuser,
|c 1994.
|
263 |
|
|
|a 9305
|
300 |
|
|
|a xxviii, 554 p. ;
|c 27 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 Contemporary mathematicians
|
504 |
|
|
|a Includes bibliographical references.
|
600 |
1 |
0 |
|a Post, Emil Leon,
|d 1897-1954
|0 http://id.loc.gov/authorities/names/n93005763
|1 http://viaf.org/viaf/41933673
|
650 |
|
0 |
|a Logic, Symbolic and mathematical
|0 http://id.loc.gov/authorities/subjects/sh85078115
|
600 |
1 |
7 |
|a Post, Emil Leon,
|d 1897-1954.
|2 fast
|0 http://id.worldcat.org/fast/fst00315645
|1 http://viaf.org/viaf/41933673
|
650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 http://id.worldcat.org/fast/fst01002068
|
700 |
1 |
0 |
|a Davis, Martin,
|d 1928-
|0 http://id.loc.gov/authorities/names/n50035603
|1 http://viaf.org/viaf/85381152
|
903 |
|
|
|a HeVa
|
903 |
|
|
|a Hathi
|
929 |
|
|
|a cat
|
999 |
f |
f |
|i 3b5bf265-d287-5dec-8ed2-488e17e6f37e
|s ce844668-8b72-572f-a322-53aca4965a23
|
928 |
|
|
|t Library of Congress classification
|a QA3.P780 1994
|l Eck
|c Eck-Eck
|i 2738041
|
927 |
|
|
|t Library of Congress classification
|a QA3.P780 1994
|l Eck
|c Eck-Eck
|b 39205677
|i 2871602
|