Mathematical logic

This volume presents essays by pioneering thinkers including Tyler Burge, Gregory Chaitin, Daniel Dennett, Barry Mazur, Nicholas Humphrey, John Searle and Ian Stewart.

This textbook provides a self-contained introduction to decidability of first-order theories and their combination.

This book is dedicated to V.

This volume offers a wide range of both reconstructions of Nikolai Vasiliev's original logical ideas and their implementations in the modern logic and philosophy.

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism.

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic.

This book features more than 20 papers that celebrate the work of Hajnal Andreka and Istvan Nemeti.

Keeping students involved and actively learning is challenging.

This book explains exactly what human knowledge is.

This book presents the entire body of thought of Norbert Wiener (1894-1964), knowledge of which is essential if one wishes to understand and correctly interpret the age in which we live.

A significant number of works have set forth, over the past decades, the emphasis laid by seventeenth-century mathematicians and philosophers on motion and kinematic notions in geometry.

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications.

This comprehensive two-volume work is devoted to the most general beginnings of mathematics.

This comprehensive two-volume work is devoted to the most general beginnings of mathematics.

This comprehensive two-volume work is devoted to the most general beginnings of mathematics.

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space.

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications.

This book discusses major milestones in Rohit Jivanlal Parikh's scholarly work.

This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability.

Logic is of course a general resource for reasoning at large.

Logic is of course a general resource for reasoning at large.

The present collection of seventeen papers, most of them already published in international philosophical journals, deals both with issues in the philosophy of logic, the philosophy of mathematics, the philosophy of language and epistemology.

This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability.

This book explores new findings on the long-neglected topic of theory construction and discovery, and challenges the orthodox, current division of scientific development into discrete stages: the stage of generation of new hypotheses; the stage of collection of relevant data; the stage of justification of possible theories; and the final stage of selection from among equally confirmed theories.

The starting point for this monograph is the previously unknown connection between the Continuum Hypothesis and the saturation of the non-stationary ideal on ?

A thorough, self-contained and easily accessible treatment of the theory on the polynomial best approximation of functions with respect to maximum norms.

Die in diesem Band zusammengefassten Beitrage stellen die wesentlichen Forschungsergebnisse der internationalen Munchner Konferenz "e;100 Jahre Russell-Paradoxon"e; im Jahr 2001 dar, auf der an die Entdeckung des beruhmten Russell Paradoxons vor 100 Jahren erinnert wurde.