Logic, computation, hierarchies
Selivanov, Victor
honouree.
Brattka, Vasco
1966-
editor.
Diener, Hannes
editor.
Spreen, Dieter
editor.
text
bibliography
conference publication
festschrift
Electronic books.
mau
2014
2014
monographic
eng
1 online resource (423 pages) : illustrations.
edited by Vasco Brattka, Hannes Diener, Dieter Spreen.
Includes bibliographical references and index.
Logic, Symbolic and mathematical
Congresses
Algebra, Boolean
Congresses
Quasi-metric spaces
Congresses
Petri nets
Congresses
Set theory
Congresses
QA10.3 .L64 2014eb
Logic, computation, hierarchies
Boston : De Gruyter, [2014]
x, 413 pages ; 24 cm.
2198-2341 ;
(OCoLC)ocn888956446
(DLC)11006242
Ontos mathematical logic ; v. 4
9781614518044 (e-book)
http://site.ebrary.com/lib/rucke/Doc?id=11006242
http://site.ebrary.com/lib/rucke/Doc?id=11006242
CaPaEBR
140721
ebr11006242
eng