عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
1614517835
9781614517832
dltt
Logic, computation, hierarchies /
[Book]
edited by Vasco Brattka, Hannes Diener, Dieter Spreen
x, 413 pages ;
24 cm
Ontos mathematical logic,
volume 4
2198-2341 ;
Includes bibliographical references and index
9781614518044 (online)
9781614518051 (print + online)
Algebra, Boolean, Congresses
Logic, Symbolic and mathematical, Congresses
Petri nets, Congresses
Quasi-metric spaces, Congresses
Set theory, Congresses
QA
511
.
3
Brattka, Vasco,1966-
Diener, Hannes
Selivanov, V., (Viktor)
Spreen, Dieter
20150401014730.0
rda
مطالعه متن کتاب [Book]
Y
