ENGLISH

Logic, Computation, Hierarchies

By Brattka , Vasco; Diener , Hannes; Selivanov , Victor; Spreen , Dieter (eds.)

Book information

Publisher
de Gruyter
Year
2014
ISBN
1614517835, 978-1-61451-783-2, 978-1-61451-804-4, 1614518041
Language
english
Format
DJVU
Filesize
3 MB (2793959 bytes)
Series
Ontos mathematical logic 4
Pages
414\425
Library
kolxoz
Time added
2017-10-15 16:00:00
Boolean -- Congresses;Quasi-metric spaces -- CongrBoolean;LogicLogicSymbolic and mathematical -- Congresses;AlgebraSymbolic and mathematical;Petri nets;Quasi-metric

Description

In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.

Similar books