# The Leading eBooks Store Online

## 3,834,764 members ⚫ 1,265,029 ebooks

Most popular at the top

#### Computability and Logic

Cambridge University Press 2002; US$ 28.00Now in its fourth edition, this book on logic has been enhanced and rewritten. more...

#### Basics Of Contemporary Cryptography For It Practitioners

World Scientific Publishing Company 2005; US$ 79.00 US$ 71.89The aim of this book is to provide a comprehensive introduction to cryptography without using complex mathematical constructions. The themes are conveyed in a form that only requires a basic knowledge of mathematics, but the methods are described in sufficient detail to enable their computer implementation. The book describes the main techniques and... more...

#### Computable Structures and the Hyperarithmetical Hierarchy

Elsevier Science 2000; US$ 175.00This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There... more...

#### Computability Theory

Elsevier Science 2011; US$ 9.99Computability Theory: An Introduction to Recursion Theory, provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized... more...

#### Computation and Automata

Cambridge University Press 1985; US$ 74.00In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science. more...

#### Handbook of Computability Theory

Elsevier Science 1999; US$ 200.00The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind... more...

#### Computability and Logic

Cambridge University Press 2007; US$ 28.00Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007. more...

#### Symbolic-Numeric Computation

Birkhäuser Basel 2007; US$ 93.33The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations. These two types of computation coexist in mathematics yet are separated in traditional research of mathematical computation. This book presents 27 research articles on the integration... more...

#### Computability, Complexity, Logic

Elsevier Science 1989; US$ 72.95The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory... more...

#### Logic and Computation

Cambridge University Press 1990; US$ 62.00This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program... more...