Logic, computation, hierarchies /

Logic, computation, hierarchies /

Show other versions (3)

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...

Full description

Bibliographic Details
Corporate Author: De Gruyter
Other Authors: Agyingi, Collins Amburo (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Ambos-Spies, Klaus (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Brattka, Vasco (Editor, http://id.loc.gov/vocabulary/relators/edt), Brattka, Vasco, 1966- (Editor), Diener, Hannes (Editor, http://id.loc.gov/vocabulary/relators/edt), Duparc, Jacques (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Finkel, Olivier (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Fouché, Willem L. (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Haihambo, Paulus (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Hertling, Peter (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Konovalov, Anton (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Kopczynski, Eryk (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Künzi, Hans-Peter A. (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Motto Ros, >Luca (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Niwiński, Damian (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Odintsov, Sergey (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Ressayre, J.-P (Jean-Pierre) (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Schlicht, Philipp (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Selivanov, V (Viktor) (Contributor, https://id.loc.gov/vocabulary/relators/ctb, honouree.), Selivanov, Victor (honouree), Selivanova, Svetlana (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Shilov, Nikolay V. (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Spreen, Dieter (Contributor, https://id.loc.gov/vocabulary/relators/ctb, Editor, http://id.loc.gov/vocabulary/relators/edt), Staiger, Ludwig (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Sy-David, >Friedman (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Zhukov, Anton V. (Contributor, https://id.loc.gov/vocabulary/relators/ctb), de Brecht, Matthew (Contributor, https://id.loc.gov/vocabulary/relators/ctb)
Format: Book
Language:English
Published: Berlin ; Boston : De Gruyter, [2014]
Boston : [2014]
Series:Ontos mathematical logic ; v. 4
Subjects:
Algebra, Boolean > Congresses
Algebra, Boolean
Logic, Symbolic and mathematical > Congresses
Logic, Symbolic and mathematical
Petri nets > Congresses
Petri nets
Quasi-metric spaces > Congresses
Quasi-metric spaces
Set theory > Congresses
Set theory
Computability Theory
Descriptive Set Theory
Non-Classical Logic
PHILOSOPHY / Logic
Computability theory
descriptive set theory
non-classical logic
Electronic books

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Yale University

Holdings details from Yale University
Call Number: None

Similar Items