Mathematical foundations

Develop a deep understanding and working knowledge of point-process theory as well as its applications in finance.

This book considers Soft Computing methods and their applications in the human sciences.

"e;Mathematical Problems from Applied Logic II"e; presents chapters from selected, world renowned, logicians.

This book has enjoyed considerable use and appreciation during its first four editions.

This volume provides a broad perspective on the state of the art in the philosophy and conceptual foundations of quantum mechanics.

A Stitch in Line: Mathematics and One-Stitch Sashiko provides readers with instructions for creating hitomezashi items with minimum outlay.

An abridged text of Principia Mathematica, suitable for an introductory study of logic.

An entertaining look at the origins of mathematical symbolsWhile all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century.

Die von Karl Menger und seinen Mitarbeitern (darunter Kurt Gödel) herausgegebenen "Ergebnisse eines Mathematischen Kolloquiums" zählen zu den wichtigsten Quellenwerken der Wissenschafts- und Geistesgeschichte der Zwischenkriegszeit, mit bahnbrechenden Beiträgen von Menger, Gödel, Tarski, Wald, John von Neumann und vielen anderen.

Number Systems: A Path into Rigorous Mathematics aims to introduce number systems to an undergraduate audience in a way that emphasises the importance of rigour, and with a focus on providing detailed but accessible explanations of theorems and their proofs.

This Student Solution Manual provides complete solutions to all the odd-numbered problems in Foundation Mathematics for the Physical Sciences.

The aim of this book is to define and discuss the key issues raised by new findings in the study of quantitative development.

This book is concerned with cardinal number valued functions defined for any Boolean algebra.

Originally published in 1981.

This book examines an abstract mathematical theory, placing special emphasis on results applicable to formal logic.

This book examines positions that challenge the Fregean logic-first view.

This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area.

This book discusses major theories and applications of fuzzy soft multisets and their generalization which help researchers get all the related information at one place.

Written by two well-known scholars in the field, Combinatorial Reasoning: An Introduction to the Art of Counting presents a clear and comprehensive introduction to the concepts and methodology of beginning combinatorics.

All current methods of secure communication such as public-key cryptography can eventually be broken by faster computing.

In this first volume of The Sylvan Jungle, the editors present a scholarly edition of the first chapter, "e;Exploring Meinong's Jungle,"e; of Richard Routley's 1000-plus page book,  Exploring Meinong's Jungle and Beyond.

Business Mathematics deals with the concepts and problem-solving techniques used in business mathematics.

This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia.

This book corresponds to a mathematical course given in 1986/87 at the University Louis Pasteur, Strasbourg.

Axiomatic set theory is the concern of this book.

Winner of an Outstanding Academic Title Award from CHOICE MagazineMost available cryptology books primarily focus on either mathematics or history.

Explores connections between infinitary model theory and other branches of mathematical logic, with algebraic applications.

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy.

The Art of Proving Binomial Identities accomplishes two goals: (1) It provides a unified treatment of the binomial coefficients, and (2) Brings together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients).

This book presents the latest research, conducted by leading philosophers and scientists from various fields, on the topic of top-down causation.

An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.

A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems.

Seven articles survey the state of the art.

This book constitutes refereed proceedings of the 2nd International Semantic Intelligence Conference (ISIC 2022).

This book applies the formal discipline of logic to everyday discourse.

The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex.

In the last 25 years, the fuzzy set theory has been applied in many disciplines such as operations research, management science, control theory, artificial intelligence/expert system, etc.

The power and properties of numbers, from basic addition and sums of squares to cutting-edge theoryWe use addition on a daily basis-yet how many of us stop to truly consider the enormous and remarkable ramifications of this mathematical activity?

First of two volumes presenting the state of the art in the classification of binary homogeneous structures and related problems.

Ancient times witnessed the origins of the theory of continued fractions.

With rapid progress in Internet and digital imaging technology, there are more and more ways to easily create, publish, and distribute images.

A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians.

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics.

The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994.

At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus.

Wireless Body Area Networks (WBANs) are vulnerable to cyberattacks and security breaches that could unlock the door for cybercriminals to penetrate hospital networks.