Set Theory

Logic Colloquium '03..

Logic in Tehran..

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-additi..

The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and comp..

In today's political climate the status and future of the trade unions are subjects of particular interest. Yet apart from national leaders of major unions little is known about full-time trade union officers...

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which m..

Set Theory..

The Incompleteness Phenomenon..

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and di..

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and di..

Captivate your audience and enhance your storytelling with this tutorial based 4-color cookbook, featuring dozens of solutions to your titling needs. Each chapter includes case studies and interviews with the pros, lending cutting insight and lessons learned that will have you creating inspired titl..