Mathematical logic books

Presents various applications of hyperstructures. There are applications to the following subjects: geometry; hypergraphs;...  Read More >>

""Mathematical Problems from Applied Logic II"" presents chapters from selected, world renowned, logicians. logic...  Read More >>

Logic, Methodology and Philosophy of Science VI  Read More >>

 Read More >>

This book is the product of a collaboration stretching the years 2007-10, whose initial fruit was a paper on Plenum...  Read More >>

Encouraging photographers to take a subject-oriented approach to lighting, this manual shows it is possible to make...  Read More >>

 Read More >>

The second part on fuction algebras covers the following topics:...  Read More >>

The 2005 BISC International Special Event-BISCSE’05 “Forging the frontiers” was held in the University of California,...  Read More >>

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical...  Read More >>

In the eyes of the editors, this book will be considered a success if it can convince its readers of the following:...  Read More >>

Collects together a number of important papers concerning both the method of abstraction generally and the use of...  Read More >>

The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating...  Read More >>

We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems:...  Read More >>

Starting at an introductory level, the book leads rapidly to important and often new results in synthetic differential...  Read More >>

However, since the late nineties, many new methods have been developed and nonlinear dimensionality reduction, also...  Read More >>

This book is an informal though systematic series of lectures on Boolean algebras. It contains background chapters...  Read More >>

A main topic in welfare economics is the rational behaviour of a consumer when, faced with various prices and incomes,...  Read More >>

Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half...  Read More >>

Here is an account of recent investigations into the two main concepts of negation developed in the constructive...  Read More >>

Following developments in modern geometry, logic and physics, many scientists and philosophers in the modern era...  Read More >>

Discussions of the foundations of mathematics and their history are frequently restricted to logical issues in...  Read More >>

This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and...  Read More >>

This volume covers recent developments in Lukasiewicz Logic and...  Read More >>

This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces....  Read More >>