Computable functions

15 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

Computability and Logic
AU$39.60

Computability and Logic is a classic because of its accessibility to students without a mathematical...

Computability and Logic
AU$57.20

Now in its fourth edition, this book on logic has been enhanced and rewritten.

Basics Of Contemporary Cryptography For It Practitioners

The aim of this book is to provide a comprehensive introduction to cryptography without using...

Logic and Computation: Interactive Proof with Cambridge LCF

Logic and Computation

Interactive Proof with Cambridge LCF

AU$67.10

This book is concerned with techniques for formal theorem-proving, with particular reference to...

Computation and Automata
AU$83.60

In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to...

Theory of Computation
Wiley (2012)
AU$228.75

Learn the skills and acquire the intuition to assess the theoretical limitations of computer...

Handbook of Computability Theory
AU$214.50

The chapters of this volume all have their own level of presentation. The topics have been chosen...

Computable Structures and the Hyperarithmetical Hierarchy
AU$241.00

This book describes a program of research in computable structure theory. The goal is to find...

Computability, Complexity, Logic
AU$341.00

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of...