Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only

Title Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen.

Publication Info. Boston : De Gruyter, [2014]


Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description 1 online resource (423 pages) : illustrations.
text rdacontent
computer rdamedia
online resource rdacarrier
Series Ontos mathematical logic, 2198-2341 ; volume 4
Ontos mathematical logic ; v. 4.
Bibliography Includes bibliographical references and index.
Note Description based on print version record.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Logic, Symbolic and mathematical -- Congresses.
Algebra, Boolean -- Congresses.
Quasi-metric spaces -- Congresses.
Petri nets -- Congresses.
Set theory -- Congresses.
Genre/Form Electronic books.
Added Author Selivanov, Victor, honouree.
Brattka, Vasco, 1966- editor.
Diener, Hannes, editor.
Spreen, Dieter, editor.
Other Form: Print version: Logic, computation, hierarchies. Boston : De Gruyter, [2014] x, 413 pages ; 24 cm. Ontos mathematical logic ; volume 4 2198-2341 ; 9781614517832 (OCoLC)ocn888956446 (DLC)11006242
ISBN 9781614517832 (
1614517835 (
9781614518044 (e-book)

Available items only