Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
States of Matter
Suitable for advanced undergraduates and graduate students of physics, this uniquely comprehensive overview provides a rigorous, integrated treatment of physical principles and techniques related to gases, liquids, solids, and their phase transitions. 1975 edition.
Feynman's Lost Lecture
On 14 March 1964 Richard Feynman, one of the greatest scientific thinkers of the 20th Century, delivered a lecture entitled 'The Motion of the Planets Around the Sun'. For thirty years this remarkable lecture was believed to be lost. But now Feynman's work has been reconstructed and explained in meticulous, accessible detail, together with a history of ideas of the planets' motions. The result is a vital and absorbing account of one of the fundamental puzzles of science, and an invaluable insight into Feynman's charismatic brilliance.
Ludwig Wittgenstein: The later Wittgenstein : from Philosophical investigations to On certainty
Wittgenstein scholarship has continued to grow at a pace few could have anticipated - a testament both to the fertility of his thought and to the thriving state of contemporary philosophy. In response to this ever-growing interest in the field, we are delighted to announce the publication of a second series of critical assessments on Wittgenstein, emphasising both the breadth and depth of contemporary Wittgenstein research.As well as papers on the nature and method of Wittgenstein's philosophy, this second collection also relates to a broader range of topics, including psychology, politics, art, music and culture.
Boolean Algebra
This elementary treatment by a distinguished mathematician employs Boolean algebra as a simple medium for introducing important concepts of modern algebra. Numerous examples appear throughout the text, plus full solutions.
Out of Gas
David Goodstein explains the scientific principles of the inevitable fossil fuel shortage and the closely related peril to the earth's climate.
Recursive Model Theory
Recursive Model Theory
Handbook of Practical Logic and Automated Reasoning
The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study.
Conversational Problem Solving
This book features mathematical problems and results that would be of interest to all mathematicians, but especially undergraduates (and even high school students) who participate in mathematical competitions such as the International Math Olympiads and Putnam Competition. The format is a dialogue between a professor and eight students in a summer problem solving camp and allows for a conversational approach to the problems as well as some mathematical humor and a few nonmathematical digressions. The problems have been selected for their entertainment value, elegance, trickiness, and unexpectedness, and have a wide range of difficulty, from trivial to horrendous. They range over a wide variety of topics including combinatorics, algebra, probability, geometry, and set theory. Most of the problems have not appeared before in a problem or expository format. A Notes section at the end of the book gives historical information and references.
Logic from Russell to Church
This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts: set theory, model theory, proof theory and recursion theory. Collectively, this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, and artificial intelligence, for whom the historical background of his or her work is a salient consideration.• The entire range of modal logic is covered• Serves as a singular contribution to the intellectual history of the 20th century• Contains the latest scholarly discoveries and interpretative insights
