Mathematics

10961 books

$38.88

by Claire Ortiz Hill (Author), Jairo Jose Da Silva (Author)For different reasons, Husserl's original, thought-provoking ideas on the philosophy of logic and mathematics have been ignored, misunderstood, even despised, by analytic philosophers and phenomenologists alike, who have been content to barricade themselves behind walls of ideological prejudices. Yet, for several decades, Husserl was almost continuously in close professional and personal contact with those who created, reshaped and re...

Logica Dinamica Epistemica Para La Evidencilidad Negativa - Paperback

$30.24

by Cristina Bares Gomez (Author)La negaci n es un fen meno lingu stico, l gico y filos fico que no deja de asombrarnos con nuevos enigmas. A nuestro juicio, el estudio del uso de las part culas negativas en las primeras lenguas escritas, tales como el ugar tico, abre nuevas perspectivas para la comprensi n del multifac tico no . El tema fundamental de este trabajo, necesariamente interdisciplinario, consiste en la propuesta y la defensa de una formulaci n de la negaci n lā/ ʾal ugar tica como...

$47.52

by Hans Van Ditmarsch (Editor), Joseph y. Halpern (Editor), Wiebe Van Der Hoek (Editor)Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early 1960s. Since then, such logics have played a significant role not only in philosophy, but also in computer science, artificial intelligence, and economics. This handbook reports significant progress in a field that, while more mature, continues to be very act...

Handbook of Deontic Logic and Normative Systems - Paperback

$48.96

by Dov Gabbay (Editor), John Horty (Editor), Xavier Parent (Editor)The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and related topics. Although building on decades of previous work in the field, it is the first collection to take into account the significant changes in the landscape of deontic logic that have occurred in the past twenty years. These changes have resulted largely, though not entirely, ...

Logics of Proofs and Justifications - Paperback

$33.12

by Roman Kuznets (Author), Thomas Studer (Author)Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, winning strategy in a game, etc. This more expressive language proved beneficial in both proof theory and epistemology and helped investigate...

David Hilbert y los fundamentos de la geometria (1891-1905) - Paperback

$33.12

by Eduardo N. Giovannini (Author)La axiomatizaci n de la geometr a eucl dea llevada a cabo por David Hilbert (1862-1943) en su monograf a Fundamentos de la geometr a (1899) es considerada no s lo una de sus contribuciones m s importantes a la matem tica moderna, sino tambi n un hito fundamental en la concepci n abstracta del m todo axiom tico. Hilbert present all un sistema axiom tico formal para la geometr a eucl dea elemental, a trav s del cual era posible construir esta teor a matem tica...

Philosophical Applications of Modal Logic - Paperback

$56.88

by Lloyd Humberstone (Author)This text aims to convey some of the interest and charm of modal logic, and to put a reader new to the subject in a position to have an informed opinion as to its applicability to each of several areas of philosophical concern (belief, knowledge, obligation ...) in which the merits of a modal approach' have been controversial. he main focus, for these purposes, is on normal modal logics, though some attention is given to the non-normal side of the picture. Number...

Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) - Paperback

$28.08

by Haskell Curry (Author), Fairouz Kamareddine (Translator), Jonathan Seldin (Translator)Curry's PhD dissertation Introduction to Combinatory Logic, represents a first major work on a new subject. Curry's interest in the subject started when he noticed the complicated form of substitution in Principia Mathematica and set about trying to find a simpler form of this rule. This led him by 1926 to some of the combinators. In 1928 Curry went to G\"ottingen and completed his dissertation in 1929 un...

Argumentation and Reasoned Action. Volume 1 - Paperback

$56.16

by Dima Mohammed (Editor), Marcin Lewinski (Editor)This is Volume I of the proceedings of the 1st European Conference on Argumentation: Argumentation and Reasoned Action, held at the Argumentation Lab in Lisbon, Portugal, in June 2015. The European Conference on Argumentation (ECA) is a new pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: philosophy, communication, linguistics, discourse analysis, computer science, psychol...

Argumentation and Reasoned Action. Volume II - Paperback

$66.24

by Dima Mohammed (Editor), Marcin Lewinski (Editor)This is Volume II of the proceedings of the 1st European Conference on Argumentation: Argumentation and Reasoned Action, held at the Argumentation Lab in Lisbon, Portugal, in June 2015. The European Conference on Argumentation (ECA) is a new pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: philosophy, communication, linguistics, discourse analysis, computer science, psycho...

Logic, Methodology and Philosophy of Science: Proceedings of the Fifteenth International Congress - Paperback

$35.28

by Hannes Leitgeb (Editor), Ilkka Niiniluoto (Editor), Paivi Seppala (Editor)This volume contains papers based on invited letures from the 15th Intenational Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015) in Helsinki, Finland, on August 3-8, 2015. The papers deal with state-of-the-art questions of mathematical and philosophical lgoic, general philosophy of science as well as philosophical and methodological issues related to particular sciences. The volume also contains ...

Ifcolog Journal of Logics and their Applications. Hilbert's epsilon and tau in Logic, Informatics and Linguistics: Volume 4, Number 2, March 2017 - Paperback

$26.64

by Stergios Chatzikyriakis (Guest Editor), Fabio Pasquali (Guest Editor), Christian Retore (Guest Editor) The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLoG (www.ifcolog.net). Number of Pages: 338 Dimensions: 0.7 x 9.69 x 7.44 IN Publication Date: April 13, 2017

Measuring Inconsistency in Information - Paperback

$36.00

by John Grant (Editor), Maria Vanina Martinez (Editor)The concept of measuring inconsistency in information was developed by John Grant in a 1978 paper in the context of first-order logic. For more than 20 years very little was done in this area until in the early 2000s a number of AI researchers started to formulate new inconsistency measures primarily in the context of propositional logic knowledge bases. The aim of this volume is to survey what has been done so far, to expand inconsistency...

Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition - Paperback

$33.84

by Luis M. Augusto (Author)Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic--as well as other non-classical logics--is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of app...

$53.55

by Graham Doggett (Author), Martin Cockett (Author)The two volumes of Maths for Chemists provide an excellent resource for all undergraduate chemistry students but are particularly focussed on the needs of students who may not have studied mathematics beyond GCSE level (or equivalent). The texts are introductory in nature and adopt a sympathetic approach for students who need support and understanding in working with the diverse mathematical tools required in a typical chemistry degree course...

Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic - Paperback

$49.68

by Odysseus Makridis (Author)This text, volume I of a two-volume work, examines in depth the standard (also called classical) propositional logic. This is a theoretical work that aims at a philosophically exploratory and technically rigorous presentation. Detailed examples and exercises are used to tease out technical minutiae, solidify understanding, and point to logical-philosophical puzzles and challenges; because of this feature, the text can also be used to study formal logic in a rigoro...

Dictionary of Argumentation: A Introduction to Argumentation Studies - Paperback

$43.92

by Christian Plantin (Author), J. Anthony Blair (Foreword by) Contemporary argumentation studies continue a tradition founded by Aristotle, Cicero, Quintilian and others. Since the end of the Second World War, they have been vigorously taken over and reoriented by different schools of thought, stressing their link to the renovated disciplines of logic, dialectic, rhetoric or grammar. Anscombre, Blair, Ducrot, van Eemeren, Grize, Grootendorst, Hamblin, Johnson, Olbrechts-Tyteca, Perelman, Toul...

Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic - Paperback

$38.16

by Odysseus Makridis (Author)This text, volume II of a two-volume work, examines in depth the so-called "standard" predicate logic. Including a foundational lexicon of terms and a detour through the classical propositional logic, this volume can be used independently of the first. As a means toward teasing out theoretical subtleties and negotiating formal and philosophic challenges, this work uses detailed examples and exercises; because of this feature, the text can also be used to study for...

Handbook of Formal Argumentation - Paperback

$56.88

by Pietro Baroni (Editor), Dov Gabbay (Editor), Massimilino Giacomin (Editor)The Handbook of Formal Argumentation is a community effort aimed at providing a comprehensive and up-to-date view of the state of the art and current trends in the lively research field of formal argumentation. The first volume of the Handbook is organised into five parts, containing nineteen chapters in all, each written by leading experts in the field. The first part provides a general and historical perspective o...

Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition - Paperback

$45.36

by Luis M. Augusto (Author)Although a number of recent technological applications require classical deductive computation with non-classical logics, many key technologies still do well-or exclusively, for that matter-with classical logic. In this first of a two-volume work, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing-a.k.a. formal languages and automata theor...

Logic, Philosophy of Mathematics, and their History: Essays in Honor of W. W. Tait - Paperback

$31.68

by Erich H. Reck (Editor)In a career that spans 60 years so far, W.W. Tait has made many highly influential contributions to logic, the philosophy of mathematics, and their history. The present collection of new essays - contributed by former students, colleagues, and friends - is a Festschrift, i.e., a celebration of his life and work. The essays address a variety of themes prominent in his work or related to it. The collection starts with an introduction in which Tait's contributions are sk...

Logic and Philosophy of Logic: Recent Trends in Latin America and Spain - Paperback

$30.24

by Max A. Freund (Editor), Max Fernandez de Castro (Editor), Marco Ruffino (Editor)Logic and philosophy of logic have increasingly become areas of research and great interest in Latin America and Spain, where significant work has been done and continues to be done in both of these fields. The goal of this volume is to draw attention to this work through a collection of original and unpublished papers by specialists from Latin America and Spain.Some of the papers are of importance for set-theo...

A Mathematical Primer on Computability - Paperback

$30.96

by Amilcar Sernadas (Author), Cristina Sernadas (Author), João Rasga (Author)The book provides a self-contained introduction to computability theory for advanced undergraduate or early graduate students of mathematics and computer science. The technical material is illustrated with plenty of examples, problems with fully worked solutions as well as a range of proposed exercises.Part I is centered around fundamental computability notions and results, starting with the pillar concepts of comput...

Audio Engineering: Know It All: Volume 1 - Paperback

$131.31

by Douglas Self (Author), Ben Duncan (Author), Ian Sinclair (Author)The Newnes Know It All Series takes the best of what our authors have written to create hard-working desk references that will be an engineer's first port of call for key information, design techniques and rules of thumb. Guaranteed not to gather dust on a shelf Audio engineers need to master a wide area of topics in order to excel. The Audio Engineering Know It All covers every angle, including digital signal processing, po...

Pappus of Alexandria: Book 4 of the Collection: Edited with Translation and Commentary by Heike Sefrin-Weis - Hardcover

$178.18

by Heike Sefrin-Weis (Author)Although not so well known today, Book 4 of Pappus' Collection is one of the most important and influential mathematical texts from antiquity. The mathematical vignettes form a portrait of mathematics during the Hellenistic "Golden Age", illustrating central problems - for example, squaring the circle; doubling the cube; and trisecting an angle - varying solution strategies, and the different mathematical styles within ancient geometry. This volume provides an Eng...

Group Identities on Units and Symmetric Units of Group Rings - Hardcover

$89.08

by Gregory T. Lee (Author)Group Identities on Units of Group Rings.- Group Identities on Symmetric Units.- Lie Identities on Symmetric Elements.- Nilpotence of andBack JacketLet FG be the group ring of a group G over a field F. Write U(FG) for the group of units of FG. It is an important problem to determine the conditions under which U(FG) satisfies a group identity. In the mid 1990s, a conjecture of Hartley was verified, namely, if U(FG) satisfies a group identity, and G is torsion, then FG...

$176.58

by Dexter C. Kozen (Author)This textbook is uniquely written with dual purpose. It covers core material in the foundations of computing for graduate students in computer science and also provides an introduction to some more advanced topics for those intending further study in the area. The book contains an invaluable collection of lectures for first-year graduates on the theory of computation, focusing primarily on computational complexity theory. It also deals with the classification of com...

Lectures on Quantum Theory: Mathematical and Structural Foundations - Paperback

$53.46

by Chris J. Isham (Author)This book is based on material taught to final-year physics undergraduates as part of the theoretical physics option at Imperial College. After a self-contained introduction to the essential ideas of vector spaces and linear operators, a bridge is built between the concepts and mathematics of classical physics, and the new mathematical framework employed in quantum mechanics. The axioms of nonrelativistic quantum theory are introduced, and shown to lead to a variety ...

Partial Differential Eqn for Scientists - Paperback

$63.18

by Geoffrey Stephenson (Author)Partial differential equations form an essential part of the core mathematics syllabus for undergraduate scientists and engineers. The origins and applications of such equations occur in a variety of different fields, ranging from fluid dynamics, electromagnetism, heat conduction and diffusion, to quantum mechanics, wave propagation and general relativity.This volume introduces the important methods used in the solution of partial differential equations. Written...

Puzzle-based Learning: Introduction to critical thinking, mathematics, and problem solving - Paperback

$43.18

by Z. Michalewicz (Author), M. Michalewicz (Author)What is missing in most curricula - from elementary school all the way through to university education - is coursework focused on the development of problem-solving skills. Most students never learn how to think about solving problems. Besides being a lot of fun, a puzzle-based learning approach also does a remarkable job of convincing students that (a) science is useful and interesting, (b) the basic courses they take are relevant, (c) mathe...

$15.10

by Graham Bretherick (Author)Every hurt generates anger, even if we are not aware of it. Because we do not understand how common anger is to our everyday experience, we repress it instead of using it to help us. When anger is understood in its original purpose, we grasp how it may work for our benefit. This book provides a new understanding of anger and its valuable place in our lives. 'The first third of the book describes my understanding of anger from a Biblical perspective. The second par...

An Introduction to Differential Manifolds - Hardcover

$119.88

by Dennis Barden (Author), Charles B. Thomas (Author)This invaluable book, based on the many years of teaching experience of both authors, introduces the reader to the basic ideas in differential topology. Among the topics covered are smooth manifolds and maps, the structure of the tangent bundle and its associates, the calculation of real cohomology groups using differential forms (de Rham theory), and applications such as the Poincaré-Hopf theorem relating the Euler number of a manifold and...