Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

eBook - 2014
Rate this:
De Gruyter
<!doctype html public "-//w3c//dtd html 4.0 transitional//en">

In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.


<!doctype html public "-//w3c//dtd html 4.0 transitional//en">

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.



Publisher: Boston :, De Gruyter,, [2014]
Copyright Date: ©2014
ISBN: 9781614518044
1614518041
9781614518051
161451805X
9781614519409
1614519404
Characteristics: 1 online resource (x, 413 pages)

Opinion

From the critics


Community Activity

Comment

Add a Comment

There are no comments for this title yet.

Age Suitability

Add Age Suitability

There are no age suitabilities for this title yet.

Summary

Add a Summary

There are no summaries for this title yet.

Notices

Add Notices

There are no notices for this title yet.

Quotes

Add a Quote

There are no quotes for this title yet.

Explore Further

Subject Headings

  Loading...

Find it at NPL

  Loading...
[]
[]
To Top