|
|
|
|
LEADER |
00000cam a2200000 i 4500 |
001 |
EBSCO_ocn871029077 |
003 |
OCoLC |
005 |
20231017213018.0 |
006 |
m o d |
007 |
cr cnu---unuuu |
008 |
140226r20142003enk ob 001 0 eng d |
040 |
|
|
|a N$T
|b eng
|e rda
|e pn
|c N$T
|d OCLCF
|d EBLCP
|d OCLCQ
|d AU@
|d OCLCQ
|d K6U
|d OCLCO
|d OCLCQ
|d OCLCO
|
019 |
|
|
|a 1058358327
|
020 |
|
|
|a 9780191003769
|q (electronic bk.)
|
020 |
|
|
|a 019100376X
|q (electronic bk.)
|
020 |
|
|
|z 9780199689613
|
020 |
|
|
|z 019968961X
|
020 |
|
|
|z 0199689628
|
020 |
|
|
|z 9780199689620
|
029 |
1 |
|
|a AU@
|b 000062338622
|
029 |
1 |
|
|a CHNEW
|b 000900937
|
029 |
1 |
|
|a CHVBK
|b 403408113
|
035 |
|
|
|a (OCoLC)871029077
|z (OCoLC)1058358327
|
050 |
|
4 |
|a QA9
|
072 |
|
7 |
|a MAT
|x 000000
|2 bisacsh
|
082 |
0 |
4 |
|a 511.3
|2 23
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a Gödel, Kurt,
|e author.
|
245 |
1 |
0 |
|a Kurt Gödel :
|b collected works.
|n Volume IV /
|c edited by Solomon Feferman, John W. Dawson.
|
264 |
|
1 |
|a Oxford :
|b Oxford University Press,
|c 2014.
|
300 |
|
|
|a 1 online resource (xix, 662 pages .)
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
500 |
|
|
|a Originally published: Oxford: Clarendon, 2003.
|
504 |
|
|
|a Includes bibliographical references and index.
|
588 |
0 |
|
|a Print version record.
|
505 |
0 |
|
|a Cover; Contents; List of illustrations; Allan Angoff: (See the introductory note to the correspondence with Ernest Nagel in volume V.); Correspondence with Allan Angoff; Yossef Balas: Introductory note by John W. Dawson, Jr.; Letter to Yossef Balas; Heinrich Behmann: Introductory note by Charles Parsons; Correspondence with Heinrich Behmann; Paul Bernays: Introductory note by Solomon Feferman; Correspondence with Paul Bernays; Kenneth Blackwell: Introductory note by Warren Goldfarb; Correspondence with Kenneth Blackwell; Herbert G. Bohnert: Introductory note by Warren Goldfarb.
|
505 |
8 |
|
|a Correspondence with Herbert G. BohnertWilliam Boone: Introductory note by Warren Goldfarb; Correspondence with William Boone; Georg Brutian: Introductory note by John W. Dawson, Jr.; Letter to Georg Brutian; J. Richard Büchi: Introductory note by Wilfried Sieg; Correspondence with J. Richard Büchi; Rudolf Carnap: Introductory note by Warren Goldfarb; Correspondence with Rudolf Carnap; Alonzo Church: Introductory note by Charles Parsons; Correspondence with Alonzo Church; Paul J. Cohen: Introductory note by Solomon Feferman; Correspondence with Paul Cohen.
|
505 |
8 |
|
|a Burton Dreben: Introductory note by Warren GoldfarbCorrespondence with Burton Dreben; Herbert Feigl: Introductory note by David B. Malament; Letter to Herbert Feigl; Paul Finsler: Introductory note by John W. Dawson, Jr.; Correspondence with Paul Finsler; Wilson Follett: (See the introductory note to the correspondence with Ernest Nagel in volume V.); Correspondence with Wilson Follett; Leonard Goddard: Introductory note by Warren Goldfarb; Correspondence with Leonard Goddard; Marianne Gödel: Introductory note by John W. Dawson, Jr.; Correspondence with Marianne Gödel.
|
505 |
8 |
|
|a Burke D. Grandjean: Introductory note by John W. Dawson, Jr. Correspondence with Burke D. Grandjean; Marvin Jay Greenberg: Introductory note by Michael Beeson; Correspondence with Marvin Jay Greenberg; Gotthard Günther: Introductory note by Charles Parsons; Correspondence with Gotthard Günther; Calendars of correspondence; Correspondence included in these volumes; Individual calendars of correspondence; Heinrich Behmann; Paul Bernays; William Boone; Rudolf Carnap; Alonzo Church; Paul Cohen; Gotthard Günther; Textual notes; References; Addenda and corrigenda to volumes I-III; Index; A; B; C; D.
|
505 |
8 |
|
|a EF; G; H; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; Y; Z.
|
590 |
|
|
|a eBooks on EBSCOhost
|b EBSCO eBook Subscription Academic Collection - Worldwide
|
650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
650 |
|
6 |
|a Logique symbolique et mathématique.
|
650 |
|
7 |
|a MATHEMATICS
|x General.
|2 bisacsh
|
650 |
|
7 |
|a Logic, Symbolic and mathematical
|2 fast
|
700 |
1 |
|
|a Feferman, Solomon,
|e editor.
|
700 |
1 |
|
|a Dawson, John W.
|q (John William),
|d 1944-
|e editor.
|
776 |
0 |
8 |
|i Print version:
|a Gödel, Kurt.
|t Kurt Gödel : Volume IV
|z 9780199689613
|w (OCoLC)852806209
|
856 |
4 |
0 |
|u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=705900
|z Texto completo
|
938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3056083
|
938 |
|
|
|a EBSCOhost
|b EBSC
|n 705900
|
994 |
|
|
|a 92
|b IZTAP
|