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.
What Is Mathematical Logic?
A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical logic from ancient to modern times and discusses the work of Planck, Einstein, Bohr, Pauli, Heisenberg, Dirac, and others. 1972 edition.
The Emergence of Number
This book presents detailed studies of the development of three kinds of number. In the first part the development of the natural numbers from Stone-Age times right up to the present day is examined not only from the point of view of pure history but also taking into account archaeological, anthropological and linguistic evidence. The dramatic change caused by the introduction of logical theories of number in the 19th century is also treated and this part ends with a non-technical account of the very latest developments in the area of Gdel's theorem. The second part is concerned with the development of complex numbers and tries to answer the question as to why complex numbers were not intr...
Contesting Psychiatry
Building on his extensive research, the author explores the key social movements and organisations who have contested psychiatry and mental health in the UK between 1950 and 2000.
Proof, Computation and Agency
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.
Recursive Model Theory
Recursive Model Theory
Recursive Algebra, Analysis and Combinatorics
Recursive Algebra, Analysis and Combinatorics
Currents in the Interpretation of Paul
The apostle Paul has long been championed, or criticized, as a Christian thinker, as a brilliant theological genius, or an enthusiastic convert who spun arguments to justify his new allegiances. In these essays, Neil Elliott engages some of the most provocative currents in contemporary scholarship, including Paul and the nature of violence; the presumptions of religious, cultural, or national innocence in particular interpretations of the apostle; the recent enthusiasm for Paul in some streams of Marxist thought; competing construals of economic realities in Paul's day (and our own); and questions surrounding Paul's legacy today.
Recursively Enumerable Sets and Degrees
..."The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees. .... The definitions, results and proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and conciseness. The book is highly recommended to everyone interested in logic. It also provides a useful background to computer scientists, in particular to theoretical computer scientists." Acta Scientiarum Mathematicarum, Ungarn 1988 ..."The main purpose of this book is to introduce the reader to the main results and to the intricacies of the current theory for the recurseively enumerable sets and degrees. The author has managed to give a coherent exposition of a rather complex and messy area of logic, and with this book degree-theory is far more accessible to students and logicians in other fields than it used to be." Zentralblatt für Mathematik, 623.1988
Lectures on the Curry-Howard Isomorphism
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc.The isomorphism has many aspects, even at the syntactic level:formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc.But there is more to the isomorphism than this. For instance,...
