New edition of the classic discrete mathematics text for computer science majors.
Discrete Mathematics for Computer Science is the perfect text to combine the fields of mathematics and computer science. Written by …
Gallin D. Intensional and higher-order modal logic (NH Publishing Co. [etc.], 1975, 477)(ISBN 044411002X)
This book is truly awful. It's an attack on Platinga and Forbes' views (well, and of course Lewis as well) …
Designed for use by philosophy students, this book provides an accessible, yet technically sound treatment of modal logic and its …
This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A …
Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, …
This book regards Dung's abstract argumentation frames as a general network, comparable to other networks such as general logics neural-nets, …
The twelve original studies collected in this volume examine different aspects of Edmund Husserl's Logical Investigations. They are authored by …
Reasoning about knowledge—particularly the knowledge of agents who reason about the world and each other's knowledge—was once the exclusive province …
This book is aimed at undergraduate mathematics and computer science students interested in developing a feeling for what mathematics is …
An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, …
"This is the International Edition. The content is in English, same as US version but different cover. Please DO NOT …
Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available …
This article explores the ideas that went into George Boole’s development of an algebra for logic in his book The …
This approachable text studies discrete objects and the relationsips that bind them. It helps students understand and apply the power …
In elementary introductions to mathematical analysis, the treatment of the logical and algebraic foundations of the subject is necessarily rather …
This book is a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the …
This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic with emphasis on …
Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from …
Volume 9 of the Routledge History of Philosophy surveys ten key topics in the Philosophy of Science, Logic and Mathematics …
Can you turn a soulful ballad into a hit dance track, or make any Billboard hit your own? With this …
An exceptionally clear, concise, and affordable introduction to logic, The Logic Manual carefully walks beginning philosophy students through the fundamentals, …
Tens of thousands of students have learned to be more discerning at constructing and evaluating arguments with the help of …
Neutrosophic Logic was created by Florentin Smarandache (1995) and is an extension / combination of the fuzzy logic, intuitionistic logic, …
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part …
