We found 91 results for “


Showing 1 - 12 of 91 Results

Out of stock online

Not available in stores

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not…

Ships within 1-3 weeks

Not available in stores

Based on her earlier ground-breaking axiomatization of quantified modal logic, the papers collected here by the distinguished philosopher Ruth Barcan Marcus cover much ground in the development of her thought, spanning from 1961 to 1990. The first essay here…

In stock online

Not available in stores

This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers of the 5 invited talks by senior researchers, the book…

In stock online

Not available in stores

A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and…

Hardcover

$144.15

In stock online

Not available in stores

This is the first of a three-volume collection of David Lewis' most recent papers in all the areas to which he has made significant contributions. This first volume is devoted to Lewis' work on philosophical logic from the past twenty-five years. The topics…

Paperback

$21.50 online

$22.50

In stock online

Not available in stores

Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable…

Paperback

$128.95

In stock online

Not available in stores

The aim of this book is to teach the reader the topics in algebra which are useful in the study of computer science. In a clear, concise style, the author present the basic algebraic structures, and their applications to such topics as the finite Fourier…

Ships within 1-3 weeks

Not available in stores

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science. The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical…

Paperback

$44.77 online

$48.50

save 7%

In stock online

Not available in stores

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of…

Ships within 3-5 weeks

Not available in stores

The content of this book provides a unified and coherent treatment of a number of important issues in the philosophy of language and logical theory. Topics that are addressed include the nature of linguistic meaning and the conditions of synonymy, meaning and…

In stock online

Not available in stores

Author presents a novel framework for the full integration of declarative programming models and shows its application. Develops techniques for equational reasoning and declarative programming based on higher-order logic. DLC: Computer logic.

Hardcover

$425.91

In stock online

Not available in stores

Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.