Mathematical foundations

This first volume develops factorization algebras with a focus upon examples exhibiting their use in field theory, which will be useful for researchers and graduates.

J.

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study.

This book is dedicated to the life and work of logician Janusz Czelakowski on the topic of logical consequence.

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic.

The study of polynomial completeness of algebraic systems has only recently matured, and until now, lacked a unified treatment.

This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world.

A Constraint Satisfaction Problem (CSP) consists of a set of variables, a domain of values for each variable and a set of constraints.

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,.

By North-American standards, philosophy is not new in Quebec: the first men- tion of philosophy lectures given by a Jesuit in the College de Quebec (founded 1635) dates from 1665, and the oldest logic manuscript dates from 1679.

Once the privilege of a secret few, cryptography is now taught at universities around the world.

Iterative processes are the tools used to generate sequences approximating solutions of equations describing real life problems.

The concept of likeness to truth, like that of truth itself, is fundamental to a realist conception of inquiry.

Mathematical card effects offer both beginning and experienced magicians an opportunity to entertain with a minimum of props.

Raymond Smullyan presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all!

This book focuses on image based security techniques, namely visual cryptography, watermarking, and steganography.

Limits of Computation: An Introduction to the Undecidable and the Intractable offers a gentle introduction to the theory of computational complexity.

In recent years, applied mathematics has been used in all novel disciplines of scientific development.

Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof.

Books on information theory and coding have proliferated over the last few years, but few succeed in covering the fundamentals without losing students in mathematical abstraction.

This is an introductory undergraduate textbook in set theory.

Covers the whole spectrum of finite-state methods, from theory to practical applications.

This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region.

This comprehensive introductory textbook is designed for undergraduate mathematics students seeking to gain a strong understanding of fuzzy sets and relations.

Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic.

This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence.

This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan.

This collection of prize-winning essays addresses the controversial question of how meaning and goals can emerge in a physical world governed by mathematical laws.

This engaging and beautifully written book gives an authoritative but accessible account of some of the most exciting and unexpected recent developments in theoretical physics.

This book deals with two important branches of mathematics, namely, logic and set theory.

Distributed and peer-to-peer (P2P) applications are increasing daily, and cyberattacks are constantly adopting new mechanisms to threaten the security and privacy of users in these Internet of Things (IoT) environments.

This volume collects written versions of invited and contributed talks presented at the conference.

Strange Attractors is a collection of approximately 150 poems with strong links to mathematics in content, form, or imagery.

Discrete mathematics, including (combinatorial) number theory and set theory has always been a stronghold of Hungarian mathematics.

Discover the mathematical riches of ''what is diversity?

This book investigates the influence of the graph of a symmetric matrix on the multiplicities of its eigenvalues.

This text is the fifth and final in the series of educational books written by Israel Gelfand with his colleagues for high school students.

Fuzzy geometric programming was originated by the author in the Proceed- ing of the second IFSA conferences, 1987(Tokyo) 14 years ago.

Fuzzy Control of Industrial Systems: Theory and Applications presents the basic theoretical framework of crisp and fuzzy set theory, relating these concepts to control engineering based on the analogy between the Laplace transfer function of linear systems and the fuzzy relation of a nonlinear fuzzy system.

An up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians.

This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.

Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics.

Das Unendliche hat wie keine andere Frage von jeher so tief das Gemüt der Menschen bewegt," das Unendliche hat wie kaum eine andere Idee auf den Verstand so an­ regend und fruchtbar gewirkt," das Unendliche ist aber auch wie kein anderer Begriff so der Aufklärung bedürftig.

This easy-to-cite handbook gives the first systematic treatment of the (co)end calculus in category theory and its applications.

Un calcul logique, au sens large, est une méthode de résolution appliquée au traitement d’une structure propositionnelle.

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Beziau.