Reviews
"Should find a place in all academic libraries where mathematical logic is taught....The editors deserve the highest praise for the design of the edition."--Choice, "The publication of this book is a significant scientific event not onlyin mathematical logic...but also in formal computing systems, recursivecomputing theory, and the possibility and limits of mechanical theoremproving...This volume is a splendid text. The original German and an excellentEnglish translation are printed on facing pages. The introductory notes add muchto the reader's understanding of the primary material, and the list of editorsand contributors reads like a Who's Who of modern logic. The bibliographicreferences are extensive and worth explaining in themselves; they probablyconstitute a guide to the subject in their own right...it is an opportunity toexperience firsthand the complexity, elegance, and rigor of one of the greatminds of the twentieth century. I look forward to coming volumes."--ComputingReviews, "Anyone interested in the life and work of Kurt Godel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Godel's work. They have succeeded in using their own expertise to elucidate boththe nature and significance of what Godel and, in turn, mathematical logic have accomplished in this century."--Isis, "From the example of this first volume, the edition promises to be a model of its kind; virtually nothing could be bettered....The whole is beautifully produced...the translations are clear and accurate....Anyone interested in mathematical logic must...wish to own this first volume of[Godel's] collected works, which is a worthy tribute to a great man. Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task, and we must look forward to the appearance of the subsequent volumes."--Mind, "Both books are models of what scholarly editions of this kind should belike. . .no one working in logic or in the philosophy of mathematics should bewithout their own copies." --Philosophia Mathematica, "Gödel would probably have been pleased with the systematic and neat presentation. The set should be of interest to professionals and students in the areas of logic, mathematics, [and] philosophy....For all university level libraries and for large public and college library collections....Will also be a treasure in the hands of the individual who can afford and understand a good part of the contents." --New Technical Books, The New York Public Library "The editors are to be wholeheartedly congratulated on bringing to the public work which deserves careful study and which ought to do something to revitalise the philosophy of mathematics by presenting a point of view that, unusually, combines intellectual rigour with a willingness to make bold and sweeping metaphysical claims." --The Times Higher Education Supplement "Should find a place in all academic libraries where mathematical logic is taught....The editors deserve the highest praise for the design of the edition."--Choice "Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Gödel's work. They have succeeded in using their own expertise to elucidate both the nature and significance of what Gödel and, in turn, mathematical logic have accomplished in this century."--Isis "A marvel of selfless scholarly teamwork. Under the leadership of Solomon Feferman, many of the world's most eminent logicians and historians of logic have pooled their talents to produce lucid and informative introductions, helpful notes, and clear facing-page translations. It is no small tribute to Gödel to recognize that he deserves this coordination of patient work by brilliant scholars. Equally, it is no small tribute to those who have worked on this volume to say that their efforts are worthy of their subject." --Times Literary Supplement "From the example of this first volume, the edition promises to be a model of its kind; virtually nothing could be bettered....The whole is beautifully produced...the translations are clear and accurate....Anyone interested in mathematical logic must...wish to own this first volume of [Gödel's] collected works, which is a worthy tribute to a great man. Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task, and we must look forward to the appearance of the subsequent volumes."--Mind "Beautifully prepared, meticulously edited collection." --The Journal of Symbolic Logic "The publication of this book is a significant scientific event not only in mathematical logic...but also in formal computing systems, recursive computing theory, and the possibility and limits of mechanical theorem proving...This volume is a splendid text. The original German and an excellent English translation are printed on facing pages. The introductory notes add much to the reader's understanding of the primary material, and the list of editors and contributors reads like a Who's Who of modern logic. The bibliographic references are extensive and worth explaining in themselves; they probably constitute a guide to the subject in their own right...it is an opportunity to experience firsthand the complexity, elegance, and rigor of one of the great minds of the twentieth century. I look forward to coming volumes."--Computing Reviews "Both books are models of what scholarly editions of this kind should be like. . .no one working in logic or in the philosophy of mathematics should be without their own copies." --Philosophia Mathematica "The writing throughout exemplifies the clarity, care and incisiveness for which its author is renowned. This is a stimulating book that can be read and reread with intellectual pleasure and profit."--Modern Logic, "From the example of this first volume, the edition promises to be a modelof its kind; virtually nothing could be bettered....The whole is beautifullyproduced...the translations are clear and accurate....Anyone interested inmathematical logic must...wish to own this first volume of [Godel's] collectedworks, which is a worthy tribute to a great man. Feferman and his team are tobe congratulated on the care, sureness of touch, and scholarly accuracy withwhich they have carried out their task, and we must look forward to theappearance of the subsequent volumes."--Mind, "Anyone interested in the life and work of Kurt Godel, or in the historyof mathematical logic in this century, is indebted to all of the contributors tothis volume for the care with which they have presented Godel's work. They havesucceeded in using their own expertise to elucidate both the nature andsignificance of what Godel and, in turn, mathematical logic have accomplished inthis century."--isis, "The writing throughout exemplifies the clarity, care and incisiveness for which its author is renowned. This is a stimulating book that can be read and reread with intellectual pleasure and profit."--Modern Logic, "Godel would probably have been pleased with the systematic and neatpresentation. The set should be of interest to professionals and students inthe areas of logic, mathematics, [and] philosophy....For all university levellibraries and for large public and college library collections....Will also be atreasure in the hands of the individual who can afford and understand a goodpart of the contents." --New Technical Books, The New York Public Library, "A marvel of selfless scholarly teamwork. Under the leadership of Solomon Feferman, many of the world's most eminent logicians and historians of logic have pooled their talents to produce lucid and informative introductions, helpful notes, and clear facing-page translations. It is no smalltribute to Godel to recognize that he deserves this coordination of patient work by brilliant scholars. Equally, it is no small tribute to those who have worked on this volume to say that their efforts are worthy of their subject." --Times Literary Supplement, "Should find a place in all academic libraries where mathematical logic istaught....The editors deserve the highest praise for the design of theedition."--Choice, "The editors are to be wholeheartedly congratulated on bringing to the public work which deserves careful study and which ought to do something to revitalise the philosophy of mathematics by presenting a point of view that, unusually, combines intellectual rigour with a willingness to makebold and sweeping metaphysical claims." --The Times Higher Education Supplement, "Both books are models of what scholarly editions of this kind should be like. . .no one working in logic or in the philosophy of mathematics should be without their own copies." --Philosophia Mathematica, "The editors are to be wholeheartedly congratulated on bringing to thepublic work which deserves careful study and which ought to do something torevitalise the philosophy of mathematics by presenting a point of view that,unusually, combines intellectual rigour with a willingness to make bold andsweeping metaphysical claims." --The Times Higher Education Supplement, "Gödel would probably have been pleased with the systematic and neat presentation. The set should be of interest to professionals and students in the areas of logic, mathematics, [and] philosophy....For all university level libraries and for large public and college library collections....Will also be a treasure in the hands of the individual who can afford and understand a good part of the contents." --New Technical Books, The New York Public Library "The editors are to be wholeheartedly congratulated on bringing to the public work which deserves careful study and which ought to do something to revitalise the philosophy of mathematics by presenting a point of view that, unusually, combines intellectual rigour with a willingness to make bold and sweeping metaphysical claims." --The Times Higher Education Supplement "Should find a place in all academic libraries where mathematical logic is taught....The editors deserve the highest praise for the design of the edition."--Choice "Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Gödel's work. They have succeeded in using their own expertise to elucidate both the nature and significance of what Gödel and, in turn, mathematical logic have accomplished in this century."--Isis "A marvel of selfless scholarly teamwork. Under the leadership of Solomon Feferman, many of the world's most eminent logicians and historians of logic have pooled their talents to produce lucid and informative introductions, helpful notes, and clear facing-page translations. It is no small tribute to Gödel to recognize that he deserves this coordination of patient work by brilliant scholars. Equally, it is no small tribute to those who have worked on this volume to say that their efforts are worthy of their subject." --Times Literary Supplement "From the example of this first volume, the edition promises to be a model of its kind; virtually nothing could be bettered....The whole is beautifully produced...the translations are clear and accurate....Anyone interested in mathematical logic must...wish to own this first volume of [Gödel's] collected works, which is a worthy tribute to a great man. Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task, and we must look forward to the appearance of the subsequent volumes."--Mind "Beautifully prepared, meticulously edited collection." --The Journal of Symbolic Logic "The publication of this book is a significant scientific event not only in mathematical logic...but also in formal computing systems, recursive computing theory, and the possibility and limits of mechanical theorem proving...This volume is a splendid text. The original German and an excellent English translation are printed on facing pages. The introductory notes add much to the reader's understanding of the primary material, and the list of editors and contributors reads like aWho's Whoof modern logic. The bibliographic references are extensive and worth explaining in themselves; they probably constitute a guide to the subject in their own right...it is an opportunity to experience firsthand the complexity, elegance, and rigor of one of the great minds of the twentieth century. I look forward to coming volumes."--Computing Reviews "Both books are models of what scholarly editions of this kind should be like. . .no one working in logic or in the philosophy of mathematics should be without their own copies." --Philosophia Mathematica "The writing throughout exemplifies the clarity, care and incisiveness for which its author is renowned. This is a stimulating book that can be read and reread with intellectual pleasure and profit."--Modern Logic, "G del would probably have been pleased with the systematic and neat presentation. The set should be of interest to professionals and students in the areas of logic, mathematics, [and] philosophy....For all university level libraries and for large public and college library collections....Will also be a treasure in the hands of the individual who can afford and understand a good part of the contents." --New Technical Books, The New York Public Library "The editors are to be wholeheartedly congratulated on bringing to the public work which deserves careful study and which ought to do something to revitalise the philosophy of mathematics by presenting a point of view that, unusually, combines intellectual rigour with a willingness to make bold and sweeping metaphysical claims." --The Times Higher Education Supplement "Should find a place in all academic libraries where mathematical logic is taught....The editors deserve the highest praise for the design of the edition."--Choice "Anyone interested in the life and work of Kurt G del, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented G del's work. They have succeeded in using their own expertise to elucidate both the nature and significance of what G del and, in turn, mathematical logic have accomplished in this century."--Isis "A marvel of selfless scholarly teamwork. Under the leadership of Solomon Feferman, many of the world's most eminent logicians and historians of logic have pooled their talents to produce lucid and informative introductions, helpful notes, and clear facing-page translations. It is no small tribute to G del to recognize that he deserves this coordination of patient work by brilliant scholars. Equally, it is no small tribute to those who have worked on this volume to say that their efforts are worthy of their subject." --Times Literary Supplement "From the example of this first volume, the edition promises to be a model of its kind; virtually nothing could be bettered....The whole is beautifully produced...the translations are clear and accurate....Anyone interested in mathematical logic must...wish to own this first volume of [G del's] collected works, which is a worthy tribute to a great man. Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task, and we must look forward to the appearance of the subsequent volumes."--Mind "Beautifully prepared, meticulously edited collection." --The Journal of Symbolic Logic "The publication of this book is a significant scientific event not only in mathematical logic...but also in formal computing systems, recursive computing theory, and the possibility and limits of mechanical theorem proving...This volume is a splendid text. The original German and an excellent English translation are printed on facing pages. The introductory notes add much to the reader's understanding of the primary material, and the list of editors and contributors reads like aWho's Whoof modern logic. The bibliographic references are extensive and worth explaining in themselves; they probably constitute a guide to the subject in their own right...it is an opportunity to experience firsthand the complexity, elegance, and rigor of one of the great minds of the twentieth century. I look forward to coming volumes."--Computing Reviews "Both books are models of what scholarly editions of this kind should be like. . .no one working in logic or in the philosophy of mathematics should be without their own copies." --Philosophia Mathematica "The writing throughout exemplifies the clarity, care and incisiveness for which its author is renowned. This is a stimulating book that can be read and reread with intellectual pleasure and profit."--Modern Logic, "Gödel would probably have been pleased with the systematic and neat presentation. The set should be of interest to professionals and students in the areas of logic, mathematics, [and] philosophy....For all university level libraries and for large public and college library collections....Will also be a treasure in the hands of the individual who can afford and understand a good part of the contents." -- New Technical Books, The New York Public Library "The editors are to be wholeheartedly congratulated on bringing to the public work which deserves careful study and which ought to do something to revitalise the philosophy of mathematics by presenting a point of view that, unusually, combines intellectual rigour with a willingness to make bold and sweeping metaphysical claims." -- The Times Higher Education Supplement "Should find a place in all academic libraries where mathematical logic is taught....The editors deserve the highest praise for the design of the edition."-- Choice "Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Gödel's work. They have succeeded in using their own expertise to elucidate both the nature and significance of what Gödel and, in turn, mathematical logic have accomplished in this century."-- Isis "A marvel of selfless scholarly teamwork. Under the leadership of Solomon Feferman, many of the world's most eminent logicians and historians of logic have pooled their talents to produce lucid and informative introductions, helpful notes, and clear facing-page translations. It is no small tribute to Gödel to recognize that he deserves this coordination of patient work by brilliant scholars. Equally, it is no small tribute to those who have worked on this volume to say that their efforts are worthy of their subject." -- Times Literary Supplement "From the example of this first volume, the edition promises to be a model of its kind; virtually nothing could be bettered....The whole is beautifully produced...the translations are clear and accurate....Anyone interested in mathematical logic must...wish to own this first volume of [Gödel's] collected works, which is a worthy tribute to a great man. Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task, and we must look forward to the appearance of the subsequent volumes."-- Mind "Beautifully prepared, meticulously edited collection." -- The Journal of Symbolic Logic "The publication of this book is a significant scientific event not only in mathematical logic...but also in formal computing systems, recursive computing theory, and the possibility and limits of mechanical theorem proving...This volume is a splendid text. The original German and an excellent English translation are printed on facing pages. The introductory notes add much to the reader's understanding of the primary material, and the list of editors and contributors reads like a Who's Who of modern logic. The bibliographic references are extensive and worth explaining in themselves; they probably constitute a guide to the subject in their own right...it is an opportunity to experience firsthand the complexity, elegance, and rigor of one of the great minds of the twentieth century. I look forward to coming volumes."-- Computing Reviews "Both books are models of what scholarly editions of this kind should be like. . .no one working in logic or in the philosophy of mathematics should be without their own copies." -- Philosophia Mathematica "The writing throughout exemplifies the clarity, care and incisiveness for which its author is renowned. This is a stimulating book that can be read and reread with intellectual pleasure and profit."--, "Anyone interested in the life and work of Kurt Godel, or in the historyof mathematical logic in this century, is indebted to all of the contributors tothis volume for the care with which they have presented Godel's work. They havesucceeded in using their own expertise to elucidate both the nature andsignificance of what Godel and, in turn, mathematical logic have accomplished inthis century."--Isis, "The publication of this book is a significant scientific event not only in mathematical logic...but also in formal computing systems, recursive computing theory, and the possibility and limits of mechanical theorem proving...This volume is a splendid text. The original German and anexcellent English translation are printed on facing pages. The introductory notes add much to the reader's understanding of the primary material, and the list of editors and contributors reads like a Who's Who of modern logic. The bibliographic references are extensive and worth explaining inthemselves; they probably constitute a guide to the subject in their own right...it is an opportunity to experience firsthand the complexity, elegance, and rigor of one of the great minds of the twentieth century. I look forward to coming volumes."--Computing Reviews, "A marvel of selfless scholarly teamwork. Under the leadership of SolomonFeferman, many of the world's most eminent logicians and historians of logichave pooled their talents to produce lucid and informative introductions,helpful notes, and clear facing-page translations. It is no small tribute toGodel to recognize that he deserves this coordination of patient work bybrilliant scholars. Equally, it is no small tribute to those who have worked onthis volume to say that their efforts are worthy of their subject." --TimesLiterary Supplement, "Gödel would probably have been pleased with the systematic and neat presentation. The set should be of interest to professionals and students in the areas of logic, mathematics, [and] philosophy....For all university level libraries and for large public and college library collections....Will also be a treasure in the hands of the individual who can afford and understand a good part of the contents." -- New Technical Books, The New York Public Library"The editors are to be wholeheartedly congratulated on bringing to the public work which deserves careful study and which ought to do something to revitalise the philosophy of mathematics by presenting a point of view that, unusually, combines intellectual rigour with a willingness to make bold and sweeping metaphysical claims." -- The Times Higher Education Supplement"Should find a place in all academic libraries where mathematical logic is taught....The editors deserve the highest praise for the design of the edition."-- Choice"Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Gödel's work. They have succeeded in using their own expertise to elucidate both the nature and significance of what Gödel and, in turn, mathematical logic have accomplished in this century."-- Isis"A marvel of selfless scholarly teamwork. Under the leadership of Solomon Feferman, many of the world's most eminent logicians and historians of logic have pooled their talents to produce lucid and informative introductions, helpful notes, and clear facing-page translations. It is no small tribute to Gödel to recognize that he deserves this coordination of patient work by brilliant scholars. Equally, it is no small tribute to those who have worked on this volume to say that their efforts are worthy of their subject." -- Times Literary Supplement"From the example of this first volume, the edition promises to be a model of its kind; virtually nothing could be bettered....The whole is beautifully produced...the translations are clear and accurate....Anyone interested in mathematical logic must...wish to own this first volume of [Gödel's] collected works, which is a worthy tribute to a great man. Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task, and we must look forward to the appearance of the subsequent volumes."-- Mind"Beautifully prepared, meticulously edited collection." -- The Journal of Symbolic Logic"The publication of this book is a significant scientific event not only in mathematical logic...but also in formal computing systems, recursive computing theory, and the possibility and limits of mechanical theorem proving...This volume is a splendid text. The original German and an excellent English translation are printed on facing pages. The introductory notes add much to the reader's understanding of the primary material, and the list of editors and contributors reads like a Who's Who of modern logic. The bibliographic references are extensive and worth explaining in themselves; they probably constitute a guide to the subject in their own right...it is an opportunity to experience firsthand the complexity, elegance, and rigor of one of the great minds of the twentieth century. I look forward to coming volumes."-- Computing Reviews"Both books are models of what scholarly editions of this kind should be like. . .no one working in logic or in the philosophy of mathematics should be without their own copies." -- Philosophia Mathematica"The writing throughout exemplifies the clarity, care and incisiveness for which its author is renowned. This is a stimulating book that, "Gdel would probably have been pleased with the systematic and neat presentation. The set should be of interest to professionals and students in the areas of logic, mathematics, [and] philosophy....For all university level libraries and for large public and college library collections....Will also be a treasure in the hands of the individual who can afford and understand a good part of the contents." --New Technical Books, The New York Public Library "The editors are to be wholeheartedly congratulated on bringing to the public work which deserves careful study and which ought to do something to revitalise the philosophy of mathematics by presenting a point of view that, unusually, combines intellectual rigour with a willingness to make bold and sweeping metaphysical claims." --The Times Higher Education Supplement "Should find a place in all academic libraries where mathematical logic is taught....The editors deserve the highest praise for the design of the edition."--Choice "Anyone interested in the life and work of Kurt Gdel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Gdel''s work. They have succeeded in using their own expertise to elucidate both the nature and significance of what Gdel and, in turn, mathematical logic have accomplished in this century."--Isis "A marvel of selfless scholarly teamwork. Under the leadership of Solomon Feferman, many of the world''s most eminent logicians and historians of logic have pooled their talents to produce lucid and informative introductions, helpful notes, and clear facing-page translations. It is no small tribute to Gdel to recognize that he deserves this coordination of patient work by brilliant scholars. Equally, it is no small tribute to those who have worked on this volume to say that their efforts are worthy of their subject." --Times Literary Supplement "From the example of this first volume, the edition promises to be a model of its kind; virtually nothing could be bettered....The whole is beautifully produced...the translations are clear and accurate....Anyone interested in mathematical logic must...wish to own this first volume of [Gdel''s] collected works, which is a worthy tribute to a great man. Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task, and we must look forward to the appearance of the subsequent volumes."--Mind "Beautifully prepared, meticulously edited collection." --The Journal of Symbolic Logic "The publication of this book is a significant scientific event not only in mathematical logic...but also in formal computing systems, recursive computing theory, and the possibility and limits of mechanical theorem proving...This volume is a splendid text. The original German and an excellent English translation are printed on facing pages. The introductory notes add much to the reader''s understanding of the primary material, and the list of editors and contributors reads like a Who''s Who of modern logic. The bibliographic references are extensive and worth explaining in themselves; they probably constitute a guide to the subject in their own right...it is an opportunity to experience firsthand the complexity, elegance, and rigor of one of the great minds of the twentieth century. I look forward to coming volumes."--Computing Reviews "Both books are models of what scholarly editions of this kind should be like. . .no one working in logic or in the philosophy of mathematics should be without their own copies." --Philosophia Mathematica "The writing throughout exemplifies the clarity, care and incisiveness for which its author is renowned. This is a stimulating book that can be read and reread with intellectual pleasure and profit."--Modern Logic, "Gdel would probably have been pleased with the systematic and neat presentation. The set should be of interest to professionals and students in the areas of logic, mathematics, [and] philosophy....For all university level libraries and for large public and college library collections....Will also be a treasure in the hands of the individual who can afford and understand a good part of the contents." --New Technical Books, The New York Public Library "The editors are to be wholeheartedly congratulated on bringing to the public work which deserves careful study and which ought to do something to revitalise the philosophy of mathematics by presenting a point of view that, unusually, combines intellectual rigour with a willingness to make bold and sweeping metaphysical claims." --The Times Higher Education Supplement "Should find a place in all academic libraries where mathematical logic is taught....The editors deserve the highest praise for the design of the edition."--Choice "Anyone interested in the life and work of Kurt Gdel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Gdel's work. They have succeeded in using their own expertise to elucidate both the nature and significance of what Gdel and, in turn, mathematical logic have accomplished in this century."--Isis "A marvel of selfless scholarly teamwork. Under the leadership of Solomon Feferman, many of the world's most eminent logicians and historians of logic have pooled their talents to produce lucid and informative introductions, helpful notes, and clear facing-page translations. It is no small tribute to Gdel to recognize that he deserves this coordination of patient work by brilliant scholars. Equally, it is no small tribute to those who have worked on this volume to say that their efforts are worthy of their subject." --Times Literary Supplement "From the example of this first volume, the edition promises to be a model of its kind; virtually nothing could be bettered....The whole is beautifully produced...the translations are clear and accurate....Anyone interested in mathematical logic must...wish to own this first volume of [Gdel's] collected works, which is a worthy tribute to a great man. Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task, and we must look forward to the appearance of the subsequent volumes."--Mind "Beautifully prepared, meticulously edited collection." --The Journal of Symbolic Logic "The publication of this book is a significant scientific event not only in mathematical logic...but also in formal computing systems, recursive computing theory, and the possibility and limits of mechanical theorem proving...This volume is a splendid text. The original German and an excellent English translation are printed on facing pages. The introductory notes add much to the reader's understanding of the primary material, and the list of editors and contributors reads like a Who's Who of modern logic. The bibliographic references are extensive and worth explaining in themselves; they probably constitute a guide to the subject in their own right...it is an opportunity to experience firsthand the complexity, elegance, and rigor of one of the great minds of the twentieth century. I look forward to coming volumes."--Computing Reviews "Both books are models of what scholarly editions of this kind should be like. . .no one working in logic or in the philosophy of mathematics should be without their own copies." --Philosophia Mathematica "The writing throughout exemplifies the clarity, care and incisiveness for which its author is renowned. This is a stimulating book that can be read and reread with intellectual pleasure and profit."--Modern Logic, "Godel would probably have been pleased with the systematic and neat presentation. The set should be of interest to professionals and students in the areas of logic, mathematics, [and] philosophy....For all university level libraries and for large public and college librarycollections....Will also be a treasure in the hands of the individual who can afford and understand a good part of the contents." --New Technical Books, The New York Public Library