Sieg Wilfred (38 results)

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Wilfred Buchholz, Wilfried Sieg, Solomon Feferman, Wolfram Pohlers
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 39.87
US$ 20.68 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.

- Hardcover
- First Edition
Seller: MostlyAcademic, Berrima, NSW, AustraliaMostlyAcademic
Contact seller5-star sellerCondition: Used - Near fine
US$ 71.27
US$ 34.95 shippingShips from Australia to U.S.A.Quantity: 1 available
Hardcover. Condition: Near Fine. 1st Edition.

- Hardcover
Seller: Moe's Books, Berkeley, CA, U.S.A.Moe's Books
Contact seller4-star sellerCondition: Used - Good
US$ 150.00
US$ 6.50 shippingShips within U.S.A.Quantity: 1 available
Hard cover. Condition: Good. Dust Jacket Condition: Good. Volume 4 only. Jacket has a few smudges on the front cover, not affecting legibility. Top edge of jacket has a one inch tear along the front jacket flap hinge. Cover boards are in good condition with no visible flaws apart from some light handling wear. Spine is shaken, b…ut binding is secure and inside is clean and unmarked.

- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 343.11
US$ 15.99 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

Collected Works : Correspondence A-G
Godel, Kurt; Feferman, Solomon (EDT); Dawson, John W., Jr. (EDT); Goldfarb, Warren (EDT); Parsons, Charles (EDT); Feferman, Solomon
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 348.75
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Collected Works : Correspondence A-G
Godel, Kurt; Feferman, Solomon (EDT); Dawson, John W., Jr. (EDT); Goldfarb, Warren (EDT); Parsons, Charles (EDT); Feferman, Solomon
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 343.09
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

Collected Works : Correspondence H-Z
Godel, Kurt; Feferman, Solomon (EDT); Dawson, John W., Jr. (EDT); Goldfarb, Warren (EDT); Parsons, Charles (EDT); Sieg, Wilfried (EDT); Feferman, Solomon
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 359.56
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Collected Works: Volume V: Correspondence, H-Z (Collected Works Series)
Gödel, Kurt; Feferman, Solomon [Editor]; Dawson, John W. [Editor]; Goldfarb, Warren [Editor]; Parsons, Charles [Editor]; Sieg, Wilfred [Editor];
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
US$ 355.26
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: New. In shrink wrap. Looks like an interesting title.

Collected Works : Correspondence A-G
Godel, Kurt; Feferman, Solomon (EDT); Dawson, John W., Jr. (EDT); Goldfarb, Warren (EDT); Parsons, Charles (EDT); Feferman, Solomon
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 373.56
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 378.74
US$ 15.99 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

Collected Works : Correspondence H-Z
Godel, Kurt; Feferman, Solomon (EDT); Dawson, John W., Jr. (EDT); Goldfarb, Warren (EDT); Parsons, Charles (EDT); Sieg, Wilfried (EDT); Feferman, Solomon
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 378.72
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

Collected Works : Correspondence A-G
Godel, Kurt; Feferman, Solomon (EDT); Dawson, John W., Jr. (EDT); Goldfarb, Warren (EDT); Parsons, Charles (EDT); Feferman, Solomon
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 379.43
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Collected Works : Correspondence H-Z
Godel, Kurt; Feferman, Solomon (EDT); Dawson, John W., Jr. (EDT); Goldfarb, Warren (EDT); Parsons, Charles (EDT); Sieg, Wilfried (EDT); Feferman, Solomon
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 411.50
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Collected Works : Correspondence H-Z
Godel, Kurt; Feferman, Solomon (EDT); Dawson, John W., Jr. (EDT); Goldfarb, Warren (EDT); Parsons, Charles (EDT); Sieg, Wilfried (EDT); Feferman, Solomon
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 418.05
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Kurt Godel: Collected Works
Godel, Kurt; Feferman, Solomon; Stanford Unviersity of Mathematics. Ed(s): Dawson, John W., Jr.; Goldfarb, Warren; Parsons, Charles; Sieg, Wilfred
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 424.26
US$ 11.95 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. This book is part of a five-volume set that makes available all of Kurt Godel's writings. The first three volumes, already published, consist of the papers and essays of Godel. The final two volumes of the set deal with Godel's correspondence with his contemporary mathematicians. This fourth volume consists of ma…terial from correspondents from A-G. Editor(s): Dawson, John W., Jr.; Goldfarb, Warren; Parsons, Charles; Sieg, Wilfred. Series: Collected Works. Num Pages: 684 pages, 11 half tone, 1 line. BIC Classification: HP; PBB; PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 235 x 161 x 49. Weight in Grams: 1144. . 2003. Hardback. . . . .

- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 434.10
US$ 11.95 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. This work, part of a five-volume set, makes available Kurt Godel's writings. The first three volumes, already published, consist of the papers and essays of Godel. The final two volumes of the set deal with Godel's correspondence with his contemporary mathematicians. This fifth volume consists of material from co…rrespondents from H-Z. Editor(s): Feferman, Solomon; Dawson, John W., Jr.; Goldfarb, Warren; Parsons, Charles; Sieg, Wilfred. Series: Collected Works. Num Pages: 690 pages, 2 line, 13 half tone. BIC Classification: HP; PBB; PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 242 x 164 x 40. Weight in Grams: 1341. . 2003. hardcover. . . . .

Kurt Godel: Collected Works
Godel, Kurt; Feferman, Solomon; Stanford Unviersity of Mathematics. Ed(s): Dawson, John W., Jr.; Goldfarb, Warren; Parsons, Charles; Sieg, Wilfred
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 470.22
US$ 10.50 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. This book is part of a five-volume set that makes available all of Kurt Godel's writings. The first three volumes, already published, consist of the papers and essays of Godel. The final two volumes of the set deal with Godel's correspondence with his contemporary mathematicians. This fourth volume consists of ma…terial from correspondents from A-G. Editor(s): Dawson, John W., Jr.; Goldfarb, Warren; Parsons, Charles; Sieg, Wilfred. Series: Collected Works. Num Pages: 684 pages, 11 half tone, 1 line. BIC Classification: HP; PBB; PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 235 x 161 x 49. Weight in Grams: 1144. . 2003. Hardback. . . . . Books ship from the US and Ireland.

- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 518.31
US$ 10.50 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. This work, part of a five-volume set, makes available Kurt Godel's writings. The first three volumes, already published, consist of the papers and essays of Godel. The final two volumes of the set deal with Godel's correspondence with his contemporary mathematicians. This fifth volume consists of material from co…rrespondents from H-Z. Editor(s): Feferman, Solomon; Dawson, John W., Jr.; Goldfarb, Warren; Parsons, Charles; Sieg, Wilfred. Series: Collected Works. Num Pages: 690 pages, 2 line, 13 half tone. BIC Classification: HP; PBB; PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 242 x 164 x 40. Weight in Grams: 1341. . 2003. hardcover. . . . . Books ship from the US and Ireland.

- Hardcover
- Print on Demand
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
US$ 349.53
US$ 10.19 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

- Hardcover
- Print on Demand
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contact seller5-star sellerCondition: New
US$ 323.43
US$ 37.00 shippingShips from Australia to U.S.A.Quantity: 1 available
Hardcover. Condition: new. Hardcover. Kurt Goedel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on con…structivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Heis less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past.The Collected Works is a landmark resource thatdraws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Goedel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Goedel's Nachlass. These long-awaited final two volumes contain Goedel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume Vcontains a full inventory of Goedel's Nachlass.All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originallywritten in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited.Kurt Goedel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Goedel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, andcomputer science and all others who wish to be acquainted with one of the great minds of the twentieth century. Kurt Godel was a 20th century logician. This book is part of a five volume set. The first three volumes, consist of the papers and essays of Godel. The final two volumes of the set deal with Godel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

- Hardcover
- Print on Demand
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
US$ 351.40
Free ShippingShips within U.S.A.Quantity: Over 20 available
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

- Hardcover
- Print on Demand
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
US$ 385.89
US$ 11.33 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

- Hardcover
- Print on Demand
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contact seller5-star sellerCondition: New
US$ 356.21
US$ 37.00 shippingShips from Australia to U.S.A.Quantity: 1 available
Hardcover. Condition: new. Hardcover. Kurt Goedel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on con…structivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Heis less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past.The Collected Works is a landmark resource thatdraws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Goedel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Goedel's Nachlass. These long-awaited final two volumes contain Goedel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume Vcontains a full inventory of Goedel's Nachlass.All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of materialoriginally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited.Kurt Goedel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Goedel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history ofscience, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century. This book is part of a five volume set that makes available all of Kurt Godels writings. The first three volumes consist of the papers and essays of Godel. The final two volumes of the set deal with Godel's correspondence with his contemporary mathematicians, this fifth volume consists of material from correspondents from H-Z. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

- Hardcover
- Print on Demand
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
US$ 385.97
Free ShippingShips within U.S.A.Quantity: Over 20 available
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

- Hardcover
- Print on Demand
Seller: CitiRetail, Stevenage, United KingdomCitiRetail
Contact seller5-star sellerCondition: New
US$ 365.04
US$ 49.39 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: new. Hardcover. Kurt Goedel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on con…structivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Heis less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource thatdraws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Goedel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Goedel's Nachlass. These long-awaited final two volumes contain Goedel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume Vcontains a full inventory of Goedel's Nachlass. All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originallywritten in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Goedel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Goedel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, andcomputer science and all others who wish to be acquainted with one of the great minds of the twentieth century. Kurt Godel was a 20th century logician. This book is part of a five volume set. The first three volumes, consist of the papers and essays of Godel. The final two volumes of the set deal with Godel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

- Hardcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 420.57
US$ 12.52 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.

- Hardcover
- Print on Demand
Seller: CitiRetail, Stevenage, United KingdomCitiRetail
Contact seller5-star sellerCondition: New
US$ 402.16
US$ 49.39 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: new. Hardcover. Kurt Goedel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on con…structivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Heis less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource thatdraws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Goedel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Goedel's Nachlass. These long-awaited final two volumes contain Goedel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume Vcontains a full inventory of Goedel's Nachlass. All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of materialoriginally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Goedel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Goedel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history ofscience, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century. This book is part of a five volume set that makes available all of Kurt Godels writings. The first three volumes consist of the papers and essays of Godel. The final two volumes of the set deal with Godel's correspondence with his contemporary mathematicians, this fifth volume consists of material from correspondents from H-Z. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

- Hardcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 468.77
US$ 12.52 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.

- Hardcover
- Print on Demand
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 508.03
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: new. Hardcover. Kurt Goedel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on con…structivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Heis less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past.The Collected Works is a landmark resource thatdraws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Goedel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Goedel's Nachlass. These long-awaited final two volumes contain Goedel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume Vcontains a full inventory of Goedel's Nachlass.All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originallywritten in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited.Kurt Goedel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Goedel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, andcomputer science and all others who wish to be acquainted with one of the great minds of the twentieth century. Kurt Godel was a 20th century logician. This book is part of a five volume set. The first three volumes, consist of the papers and essays of Godel. The final two volumes of the set deal with Godel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

- Hardcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 471.80
US$ 75.05 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum h…ypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Gödel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Gödel's Nachlass. These long-awaited final two volumes contain Gödel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Gödel's Nachlass. All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Gödel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Gödel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.