Logic, Computation, Hierarchies (Hardcover)

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.

General

Imprint:	De Gruyter
Country of origin:	United States
Series:	Ontos Mathematical Logic
Release date:	July 2014
First published:	2014
Editors:	Vasco Brattka • Hannes Diener • Dieter Spreen
Dimensions:	230 x 155 x 30mm (L x W x T)
Format:	Hardcover - Cloth over boards
Pages:	424
ISBN-13:	978-1-61451-783-2
Categories:	Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory Books > Philosophy > Topics in philosophy > Logic
LSN:	1-61451-783-5
Barcode:	9781614517832

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!