|
" Logic, computation, hierarchies / "
edited by Vasco Brattka, Hannes Diener, Dieter Spreen
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
646537
|
| Doc. No
|
:
|
dltt
|
| Title & Author
|
:
|
Logic, computation, hierarchies /\ edited by Vasco Brattka, Hannes Diener, Dieter Spreen
|
| Series Statement
|
:
|
Ontos mathematical logic,; volume 4
|
| Page. NO
|
:
|
x, 413 pages ;; 24 cm
|
| ISBN
|
:
|
9781614517832
|
|
|
:
|
: 1614517835
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Logic, Symbolic and mathematical, Congresses
|
| Subject
|
:
|
Algebra, Boolean, Congresses
|
| Subject
|
:
|
Quasi-metric spaces, Congresses
|
| Subject
|
:
|
Petri nets, Congresses
|
| Subject
|
:
|
Set theory, Congresses
|
| Dewey Classification
|
:
|
511.3
|
| Added Entry
|
:
|
Selivanov, V., (Viktor)
|
|
|
:
|
Brattka, Vasco,1966-
|
|
|
:
|
Diener, Hannes
|
|
|
:
|
Spreen, Dieter
|
| |