Mathematical foundations

Enterprise Level Security 2: Advanced Topics in an Uncertain World follows on from the authors' first book on Enterprise Level Security (ELS), which covered the basic concepts of ELS and the discoveries made during the first eight years of its development.

This book explains exactly what human knowledge is.

Unlike data communications of the past, today's networks consist of numerous devices that handle the data as it passes from the sender to the receiver.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, which was held virtually in April 2022.

Mathematical Puzzle Tales from Mount Olympus uses fascinating tales from Greek Mythology as the background for introducing mathematics puzzles to the general public.

This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry.

Topology, Volume I deals with topology and covers topics ranging from operations in logic and set theory to Cartesian products, mappings, and orderings.

Helping current and future system designers take a more productive approach in the field, Communication System Security shows how to apply security principles to state-of-the-art communication systems.

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject.

Security for Wireless Sensor Networks using Identity-Based Cryptography introduces identity-based cryptographic schemes for wireless sensor networks.

Geometric properties and relations play central roles in the description and processing of spatial data.

This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology.

Si quieres saber qué es la Inteligencia Artificial, lee este libro ― Peter Thiel, fundador de PayPal.

This book recounts the desperate efforts to gather information during World War II and the Cold War.

Expanding Mathematical Toolbox: Interweaving Topics, Problems, and Solutions offers several topics from different mathematical disciplines and shows how closely they are related.

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

The author revisits logicism in light of recent advances in mathematical logic and theoretical computer science.

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory.

Building on the success of the first edition, An Introduction to Number Theory with Cryptography, Second Edition, increases coverage of the popular and important topic of cryptography, integrating it with traditional topics in number theory.

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

This second volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).

Developed from the author's popular graduate-level course, Computational Number Theory presents a complete treatment of number-theoretic algorithms.

The philosophy of mathematics is an exciting subject.

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.

Comprehensive and up-to-date coverage of topological graph theory.

Origami5 continues in the excellent tradition of its four previous incarnations, documenting work presented at an extraordinary series of meetings that explored the connections between origami, mathematics, science, technology, education, and other academic fields.

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

This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church.

This book recounts the desperate efforts to gather information during World War II and the Cold War.

The Institute Vienna Circle held a conference in Vienna in 2003, Cambridge and Vienna - Frank P.

The book has two parts: In the first, after a review of some seminal classical accounts of laws and explanations, a new account is proposed for distinguishing between laws and accidental generalizations (LAG).

The study of higher dimensional categories has mostly been developed in the globular form of 2-categories, n-categories, omega-categories and their weak versions.

Model theory is one of the central branches of mathematical logic.

This monograph proposes a new way of implementing interaction in logic.

This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world.

This book considers the manifold possible approaches, past and present, to our understanding of the natural numbers.

Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions.

Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic.

Surely the reader had come across situations where he would have given his life to get the "e;final answer"e;, the reason for our existence, a Theory of Everything, a true World Formula that contains it all.

This book discusses the evolution of security and privacy issues and brings related technological tools, techniques, and solutions into one single source.

This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology.

This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025.

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics.

Originally published in 1969.

In decision theory there are basically two appr~hes to the modeling of individual choice: one is based on an absolute representation of preferences leading to a ntDnerical expression of preference intensity.

With a conversational style and no prerequisites, this transition to advanced mathematics emphasizes creative thinking and problem-solving.