Mathematical foundations

Solomon Feferman has shaped the field of foundational research for nearly half a century.

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century.

A straightforward guide to logic conceptsLogic concepts are more mainstream than you may realize.

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools.

Computability and Logic is a classic because of its accessibility to students without a mathematical background.

Although much literature exists on the subject of RSA and public-key cryptography, until now there has been no single source that reveals recent developments in the area at an accessible level.

During the Fall Semester of 1987, Stevo Todorcevic gave a series of lectures at the University of Colorado.

Henkin-Keisler models emanate from a modification of the Henkin construction introduced by Keisler to motivate the definition of ultraproducts.

Want to sharpen your mathematical wits?

This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLi 2022, held in Haifa, Israel, in July/August 2022.

Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden.

Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both mathematics and computer science, a course that is expected not only to cover certain specific topics but also to introduce students to important modes of thought specific to each discipline .

The 20th Century brought the rise of General Topology.

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "e;undecidable.

This vital work for researchers and graduate students focuses on resilience estimation and control of cyber-physical networked systems using attacker-defender game theory.

First published in 1990, this book consists of a detailed exposition of results of the theory of "e;interpretation"e; developed by G.

This book constitutes the refereed proceedings of the International Conference on Brain Inspired Cognitive Systems, BICS 2023, held in Kuala Lumpur, Malaysia, in August 2023.

These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987.

A self-contained guide to pure inductive logic, the study of rational probability treated as a branch of mathematical logic.

This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.

Originally published in 1966.

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

Originally published in 1934.

This book constitutes the refereed proceedings of the 41st IFIP WG 6.

1.

Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background.

This monograph, for the first time in book form, considers the large structure of metric spaces as captured by bornologies: families of subsets that contain the singletons, that are stable under finite unions, and that are stable under taking subsets of its members.

Nell'infanzia si pongono i classici interrogativi con tanti “perché?

In 1992 we published a book entitled Fuzzy Measure Theory (Plenum Press, New York), in which the term 'fuzzy measure' was used for set functions obtained by replacing the additivity requirement of classical measures with weaker requirements of monotonicity with respect to set inclusion and con- nuity.

Clifford Algebras continues to be a fast-growing discipline, with ever-increasing applications in many scientific fields.

Teaching and Learning Mathematics Online, Second Edition continues to present meaningful and practical solutions for teaching mathematics and statistics online.

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra.

Researchers and practitioners of cryptography and information security are constantly challenged to respond to new attacks and threats to information systems.

To-date computers are supposed to store and exploit knowledge.

In this volume, world-leading puzzle designers, puzzle collectors, mathematicians, and magicians continue the tradition of honoring Martin Gardner, who inspired them to enter mathematics, to enter magic, to bring magic into their mathematics, or to bring mathematics into their magic.

This research level monograph reflects the current state of the field and provides a reference for graduate students entering the field as well as for established researchers.

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.

From the Preface: This book is addressed to all who are curious about the nature of mathematics and its role in society.

This book is dedicated to Dick de Jongh's contributions to the theory of intuitionistic and provability logics.

This book examines the philosophical conception of abductive reasoning as developed by Charles S.

This is a collection of 35 articles on covering topics such as finite projective spaces, generalised polygons, strongly regular graphs, diagram geometries and polar spaces.

Assuming little previous mathematical knowledge, Error Correcting Codes provides a sound introduction to key areas of the subject.

British-Israeli recreational mathematician, communicator and educator, Yossi Elran explores in-depth six of the most ingenious math puzzles, exposing their long 'tails': the stories, trivia, quirks and oddities of their history and, of course, the math and mathematicians behind them.

This book explores the many disciplinary and theoretical links between language, linguistics, and mathematics.