| |
Axiomatic Set Theory
Editeur :
North Holland
Parution :
2011-08-30
PDF sans DRM
|
The first part of this book concerns the present state of the theory of chains (= total or linear orderings), in connection with some refinements of Ramsey's theorem, due to Galvin and Nash-Williams. This leads to the fundamental Laver's embeddability theorem for...
Editeur :
North Holland
Parution :
2011-08-18
PDF sans DRM
|
Fundamentals of Generalized Recursion Theory
Editeur :
North Holland
Parution :
2011-08-18
PDF sans DRM
|
This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi)...
Editeur :
Springer
Parution :
2011-06-22
Collection :
Trends in Logic
ePub
|
Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are...
Editeur :
North Holland
Parution :
2011-05-27
epub sans DRM
|
This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the...
Editeur :
OUP Oxford
Parution :
2011-05-05
ePub
|
A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning. With its user-friendly approach, this...
Editeur :
Wiley-Interscience
Parution :
2011-03-01
PDF
|
Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of...
Editeur :
OUP Oxford
Parution :
2010-06-18
PDF
|
How strongly should you believe the various propositions that you can express?
That is the key question facing Bayesian epistemology. Subjective Bayesians hold that it is largely (though not entirely) up to the agent as to which degrees of belief to adopt. Objective...
Editeur :
OUP Oxford
Parution :
2010-05-13
PDF
|
Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient times; they were studied by traditional informalmethods until the 20th century. In the last century the tools...
Editeur :
Elsevier Science
Parution :
2009-06-20
epub sans DRM
|
The papers appearing in this volume are part of those originally intended for presentation at the conference: Logic Colloquium '80 - European Summer Meeting of the Association for Symbolic Logic (A.S.L.) which was to takeplace in Prague, August 24·30, 1980, principally...
Editeur :
North Holland
Parution :
2009-06-05
PDF sans DRM
|
This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed...
Editeur :
Woodhead Publishing
Parution :
2009-04-30
PDF, epub sans DRM
|
Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading...
Editeur :
North Holland
Parution :
2008-03-14
PDF, epub sans DRM
|
The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the...
Editeur :
North Holland
Parution :
2008-03-10
epub sans DRM
|
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text,...
Editeur :
OUP Oxford
Parution :
2007-05-18
PDF
|
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,...
Editeur :
Elsevier Science
Parution :
2006-07-04
PDF, epub sans DRM
|
Aimed at graduate students and research logicians and mathematicians, this much-awaited text covers over forty years of work on relative classification theory for non-standard models of arithmetic. With graded exercises at the end of each chapter, the book covers basic...
Editeur :
Clarendon Press
Parution :
2006-06-29
PDF
|
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics,...
Editeur :
North Holland
Parution :
2006-05-10
PDF sans DRM
|
This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts...
Editeur :
Clarendon Press
Parution :
2005-10-06
PDF
|
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted...
Editeur :
OUP Oxford
Parution :
2005-07-21
PDF
|