Logic, computation, hierarchies - Selivanov, Victor; Brattka, Vasco, 1966-; Diener, Hannes; Spreen, Dieter (Boston : De Gruyter, 2014)
Includes bibliographical references and index.
Description based on print version record.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2015. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
Keywords: Logic, Symbolic and mathematical -- Congresses; Algebra, Boolean -- Congresses; Quasi-metric spaces -- Congresses; Petri nets -- Congresses; Set theory -- Congresses; Electronic books