Mathematics originates with intuition. But intuition alone can only go so far and formalism develops to handle the more difficult problems. Formalism, however, has its inherent dangers. There are ...więcej »
The development of new and improved proof systems, proof formats and
proof search methods is one of the most essential goals of Logic. But
what is a proof? What makes a proof better than another? H...więcej »
Elementary Logic with Applications is written for undergraduate logic and logic
programming courses. Logic has been applied to a wide variety of subjects such więcej »
Set theory, initially built on the Cantorian extension of number into the infinite and the Zermelian axiomatization affirming a foundation for mathematics, is today a rich and soph...więcej »
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy ...więcej »
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...więcej »
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...więcej »
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, ...więcej »
The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nels...więcej »
This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as ...więcej »
This book presents an overview of the development of the
Axiom of Choice since its introduction by Zermelo at the
beginning of the last century. The book surveys the Axiom of
Choice from three pers...więcej »
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.’’ Where there was no shortcut ...więcej »
A small book that introduces key Artificial Intelligence (AI) concepts in an easy-to-read format with examples and illustrations. A complex, long, overly mathematical textbook does no...więcej »
The book introduces key Artificial Intelligence (AI) concepts in an easy-to-read format with examples and illustrations. Someone with basic knowledge in ...więcej »
This book explains the foundational business skills you'll need to deliver business value and grow your career as an analyst or data scientist. Drawing o...więcej »
Adobe InDesign is arguably one of Adobe's more underappreciated programs. Many people have gotten used to creating brochures and books using Word and Pages.If you are a profess...więcej »
History is written by the victors. But that is no comfort to those crossed out by the editor's pen. For years, science textbooks equated electricity and light with one man, Thomas Edison, wh...więcej »
See the Solar System like never beforeThe Planets is an awe-inspiring and informative journey through the Solar System, with all-new 3D globes and models built using the latest data gat...więcej »
"In many ways, this is The Phoenix Project for the PowerShell world."Introduced in 2006, Microsoft's PowerShell made an immediate, positive impact on its ser...więcej »