Kids Library Home

Welcome to the Kids' Library!

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

     
Available items only
E-Book/E-Doc

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

Publication Info. Boston : De Gruyter, [2014]
2014

Copies

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.
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 9781614517832 (OCoLC)ocn888956446 (DLC)11006242
ISBN 9781614517832 (hd.bd.)
1614517835 (hd.bd.)
9781614518044 (electronic bk.)

 
    
Available items only