My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks


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

Published Boston : De Gruyter, [2014]


Location Call No. Status
Physical description 1 online resource (423 pages) : illustrations.
Series Ontos mathematical logic, 2198-2341 ; volume 4
Ontos mathematical logic ; v. 4.
Bibliography Includes bibliographical references and index.
Notes Description based on print version record.
Local Note Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Other author Selivanov, Victor, honouree.
Brattka, Vasco, 1966- editor.
Diener, Hannes, editor.
Spreen, Dieter, editor.
Subject Logic, Symbolic and mathematical -- Congresses.
Algebra, Boolean -- Congresses.
Quasi-metric spaces -- Congresses.
Petri nets -- Congresses.
Set theory -- Congresses.
Electronic books.
ISBN 9781614517832 (
1614517835 (
9781614518044 (e-book)