Hannes Diener – författare
Visar alla böcker från författaren Hannes Diener. Handla med fri frakt och snabb leverans.
5 produkter
Logic, Computation, Hierarchies
Av Vasco Brattka, Hannes Diener m. fl.
Inbunden, 2014
2206 kr
Lägg i varukorg
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as …
Logic, Computation, Hierarchies
Av Dieter Spreen, Hannes Diener m. fl.
E-bok, 2014
2232 kr
Lägg i varukorg
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as …
Logic, Computation, Hierarchies
Av Dieter Spreen, Hannes Diener m. fl.
E-bok, 2014
2184 kr
Lägg i varukorg
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as …
Logic, Construction, Computation
Av Ulrich Berger, Hannes Diener m. fl.
Inbunden, 2012
3127 kr
Lägg i varukorg
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those …
Logic, Construction, Computation
Av Monika Seisenberger, Peter Schuster m. fl.
E-bok, 2013
3173 kr
Lägg i varukorg
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those …
