Logic, Computation, Hierarchies

Logic, Computation, Hierarchies
Author :
Publisher : Walter de Gruyter GmbH & Co KG
Total Pages : 389
Release :
ISBN-10 : 9781614519409
ISBN-13 : 1614519404
Rating : 4/5 (404 Downloads)

Book Synopsis Logic, Computation, Hierarchies by : Vasco Brattka

Download or read book Logic, Computation, Hierarchies written by Vasco Brattka and published by Walter de Gruyter GmbH & Co KG. This book was released on 2014-09-04 with total page 389 pages. Available in PDF, EPUB and Kindle. Book excerpt: Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.


Logic, Computation, Hierarchies Related Books

Logic, Computation, Hierarchies
Language: en
Pages: 389
Authors: Vasco Brattka
Categories: Philosophy
Type: BOOK - Published: 2014-09-04 - Publisher: Walter de Gruyter GmbH & Co KG

DOWNLOAD EBOOK

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applicatio
A Computational Logic
Language: en
Pages: 414
Authors: Robert S. Boyer
Categories: Mathematics
Type: BOOK - Published: 2014-06-25 - Publisher: Academic Press

DOWNLOAD EBOOK

ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalit
The Cultural Logic of Computation
Language: en
Pages: 276
Authors: David Golumbia
Categories: Computers
Type: BOOK - Published: 2009-04-30 - Publisher: Harvard University Press

DOWNLOAD EBOOK

Advocates of computers make sweeping claims for their inherently transformative power: new and different from previous technologies, they are sure to resolve ma
Complexity of Constraints
Language: en
Pages: 326
Authors: Nadia Creignou
Categories: Computers
Type: BOOK - Published: 2008-12-23 - Publisher: Springer

DOWNLOAD EBOOK

Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems t
Mathematical Logic
Language: en
Pages: 462
Authors: Petio P. Petkov
Categories: Mathematics
Type: BOOK - Published: 1990-08-31 - Publisher: Springer

DOWNLOAD EBOOK