| |
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 :
2005-05-12
PDF
|
This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy...
Editeur :
Clarendon Press
Parution :
2005-05-12
PDF
|
Mathematics and the Divine seem to correspond to diametrically opposed tendencies of the human mind. Does the mathematician not seek what is precisely defined, and do the objects intended by the mystic and the theologian not lie beyond definition? Is mathematics not...
Editeur :
Elsevier Science
Parution :
2004-12-09
epub sans DRM
|
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the...
Editeur :
OUP Oxford
Parution :
2004-07-08
PDF
|
There has been a common perception that computational complexity is a theory of "bad news" because its most typical results assert that various real-world and innocent-looking tasks are infeasible. In fact, "bad news" is a relative term, and, indeed, in some situations...
Editeur :
Elsevier Science
Parution :
2004-07-07
PDF, epub sans DRM
|
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it...
Editeur :
Clarendon Press
Parution :
2004-04-29
PDF
|
With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the...
Editeur :
North Holland
Parution :
2004-03-08
epub sans DRM
|
Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science.Infinite Words is the first manual devoted to this topic.Infinite Words...
Editeur :
Academic Press
Parution :
2004-02-12
epub sans DRM
|
Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to...
Editeur :
North Holland
Parution :
2004-02-06
epub sans DRM
|
Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental...
Editeur :
North Holland
Parution :
2002-08-15
PDF, epub sans DRM
|
Making Sense of Inner Sense'Terra cognita' is terra incognita. It is difficult to find someone not taken abackand fascinated by the incomprehensible but indisputable fact: there are material systems which are aware of themselves. Consciousness is self-cognizing code....
Editeur :
North Holland
Parution :
2000-12-08
epub sans DRM
|
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing...
Editeur :
Clarendon Press
Parution :
1998-10-15
ePub
|
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing...
Editeur :
Clarendon Press
Parution :
1998-10-15
PDF
|
This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science.The history of the combined study of Logic and Linguistics goes back a long way, at least...
Editeur :
North Holland
Parution :
1996-12-11
PDF sans DRM
|
The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished....
Editeur :
North Holland
Parution :
1994-10-20
PDF sans DRM
|
In this revolutionary work, the author sets the stage for the science ofthe 21st Century, pursuing an unprecedented synthesis of fields previouslyconsidered unrelated. Beginning with simple classical concepts, he endswith a complex multidisciplinary theory requiring a...
Editeur :
North Holland
Parution :
1992-02-12
PDF sans DRM
|
The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real...
Editeur :
North Holland
Parution :
1987-01-01
PDF sans DRM
|
Logic, Methodology and Philosophy of Science VII
Editeur :
North Holland
Parution :
1986-05-01
PDF sans DRM
|
A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.
Editeur :
North Holland
Parution :
1977-01-01
PDF sans DRM
|