Handbook of Computability and Complexity in Analysis
Vasco Brattka, Peter Hertling
Inbunden, 2021
1 106 kr
Logic, Computation, Hierarchies
2 159 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
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 temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.
Produktinformation
Utforska kategorier
Mer om författaren
Hoppa över listan
Mer från samma författare
Del 16674
Timeless Machines: Computability Across Eras
Vasco Brattka, Henning Fernau, Lorenzo Galeotti
Häftad, 2026
908 kr
Computability and Complexity in Analysis
Jens Blanck, Vasco Brattka, Peter Hertling
Häftad, 2001
573 kr
Infinity in Logic and Computation
Margaret Archibald, Vasco Brattka, Valentin F. Goranko, Benedikt Löwe
Häftad, 2009
573 kr
Infinity in Logic and Computation
Benedikt Lowe, Valentin F. Goranko, Vasco Brattka, Margaret Archibald
E-bok
2009739 kr
Nature of Computation: Logic, Algorithms, Applications
Paola Bonizzoni, Vasco Brattka, Benedikt Löwe
Häftad, 2013
556 kr
Nature of Computation: Logic, Algorithms, Applications
Benedikt Lowe, Vasco Brattka, Paola Bonizzoni
E-bok
2013718 kr
Hoppa över listan
Mer från samma serie
Del 6
Concepts of Proof in Mathematics, Philosophy, and Computer Science
Dieter Probst, Peter Schuster
Inbunden, 2016
1 920 kr
Del 5
Logic Without Borders
Asa Hirvonen, Juha Kontinen, Roman Kossak, Andres Villaveces
Inbunden, 2015
2 159 kr
Del 2
Logic, Construction, Computation
Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
Inbunden, 2012
3 060 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Logic, Construction, Computation
Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
Inbunden, 2012
3 060 kr
Logic, Construction, Computation
Monika Seisenberger, Peter Schuster, Hannes Diener, Ulrich Berger
E-bok
20133 072 kr
Nature of Computation: Logic, Algorithms, Applications
Benedikt Lowe, Vasco Brattka, Paola Bonizzoni
E-bok
2013718 kr
Computability and Complexity in Analysis
Jens Blanck, Vasco Brattka, Peter Hertling
Häftad, 2001
573 kr