|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
b1746455 |
| 003 |
CoU |
| 008 |
880322s1987 it af b 110 0 eng |
| 005 |
20240722194044.2 |
| 010 |
|
|
|a 88122654
|
| 020 |
|
|
|a 8870881415 :
|
| 035 |
|
|
|a ocm16953043
|
| 040 |
|
|
|a DLC
|c DLC
|d COD
|
| 049 |
|
|
|a CODQ
|
| 050 |
0 |
|
|a QA9.A1
|b G63 1987
|
| 111 |
2 |
|
|a Gödel-Symposium in Salzburg
|d (1983)
|0 http://id.loc.gov/authorities/names/n88075451.
|
| 245 |
1 |
0 |
|a Gödel remembered :
|b Salzburg 10-12 July 1983 /
|c R. Gödel [and others] ; edited by Paul Weingartner and Leopold Schmetterer.
|
| 260 |
|
|
|a Napoli [Naples] :
|b Bibliopolis,
|c ©1987.
|
| 300 |
|
|
|a 186 pages, 8 unnumbered leaves of plates :
|b illustrations ;
|c 24 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 History of logic ;
|v 4.
|
| 590 |
|
|
|a MATHPHYS [c.1] LVA.
|
| 500 |
|
|
|a Symposium sponsored by Österreichische Akademie der Wissenschaften, Wien and Institut für Wissenschaftstheorie, Salzburg.
|
| 504 |
|
|
|a Includes bibliographies.
|
| 505 |
0 |
|
|a History of the Gödel family / Rudolf Gödel -- Remembrances of Kurt Gödel / Olga Taussky-Todd -- Appendix--Ernst Zermelo, a letter to Reinhold Baer -- Gödel's impression on students of logic in the 1930s / Stephen C. Kleene -- Gödel's excursions into intuitionistic logic / Georg Kreisel.
|
| 583 |
1 |
|
|a committed to retain
|c 20240101
|d 20490101
|5 CoU
|f Alliance Shared Trust
|u https://www.coalliance.org/shared-print-archiving-policies
|
| 600 |
1 |
0 |
|a Gödel, Kurt
|v Congresses.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008107112.
|
| 700 |
1 |
|
|a Gödel, R.
|q (Rudolf)
|0 http://id.loc.gov/authorities/names/n88075450
|1 http://isni.org/isni/0000000031161043.
|
| 700 |
1 |
|
|a Weingartner, Paul.
|0 http://id.loc.gov/authorities/names/n81021865
|1 http://isni.org/isni/0000000117793324.
|
| 700 |
1 |
|
|a Schmetterer, Leopold,
|d 1919-
|0 http://id.loc.gov/authorities/names/n81028355
|1 http://isni.org/isni/0000000116982422.
|
| 710 |
2 |
|
|a Österreichische Akademie der Wissenschaften.
|0 http://id.loc.gov/authorities/names/n80060437
|1 http://isni.org/isni/0000000121712689.
|
| 710 |
2 |
|
|a Institut für Wissenschaftstheorie (Salzburg, Austria)
|0 http://id.loc.gov/authorities/names/n80024736
|1 http://isni.org/isni/0000000119555506.
|
| 830 |
|
0 |
|a History of logic ;
|v 4.
|0 http://id.loc.gov/authorities/names/n83732650.
|
| 907 |
|
|
|a .b17464559
|b 03-18-20
|c 11-25-94
|
| 998 |
|
|
|a eng
|b 03-21-95
|c -
|d m
|e -
|f eng
|g it
|h 0
|i 1
|
| 907 |
|
|
|a .b17464559
|b 10-24-18
|c 11-25-94
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 907 |
|
|
|a .b17464559
|b 06-04-11
|c 11-25-94
|
| 907 |
|
|
|a .b17464559
|b 06-05-08
|c 11-25-94
|
| 999 |
f |
f |
|i 482e3563-c77f-5da8-a8ee-0721d50948a8
|s 790693fd-2c8f-5e0c-98ab-9825caf7d613
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Boulder Campus
|c Offsite
|d En Route to PASCAL
|e QA9.A1 G63 1987
|h Library of Congress classification
|i book
|m U183008365454
|n 1
|
