Lieferbarkeit
Sprachversion
Thema
Produktform
Maximalpreis
CHF

Suchresultat (Computabilitytheory)

J Moldestad, J. Moldestad - Computations in Higher Types
J Moldestad, J. Moldestad Computations in Higher Types Englisch, Deutsch 29.06.2009 Taschenbuch CHF 49.90 4-7 Arbeitstage
Lorenzo Galeotti, Lorenzo Galeotti et al, Ludovic Levy Patey, Florin Manea, Elaine Pimentel - Twenty Years of Theoretical and Practical Synergies 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings
Lorenzo Galeotti, Lorenzo Galeotti et al, Ludovic Levy Patey, Florin Manea, Elaine Pimentel Twenty Years of Theoretical and Practical Synergies Englisch 02.07.2024 Taschenbuch CHF 215.00 4-7 Arbeitstage
Kenneth J Supowit, Kenneth J. Supowit - Algorithms for Constructing Computably Enumerable Sets
Kenneth J Supowit, Kenneth J. Supowit Algorithms for Constructing Computably Enumerable Sets Englisch 11.06.2024 Taschenbuch CHF 83.00 4-7 Arbeitstage
Venanzio Capretta, Robbert Krebbers, Freek Wiedijk - Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Venanzio Capretta, Robbert Krebbers, Freek Wiedijk Logics and Type Systems in Theory and Practice Englisch 01.01.2024 Taschenbuch CHF 168.00 4-7 Arbeitstage
Lenwood S Heath, Lenwood S. Heath, Arnold L Rosenberg, Arnold L. Rosenberg - Understanding Computation Pillars, Paradigms, Principles
Lenwood S Heath, Lenwood S. Heath, Arnold L Rosenberg, Arnold L. Rosenberg Understanding Computation Englisch 24.08.2023 Taschenbuch CHF 109.00 4-7 Arbeitstage
Damir D Dzhafarov, Damir D. Dzhafarov, Carl Mummert - Reverse Mathematics Problems, Reductions, and Proofs
Damir D Dzhafarov, Damir D. Dzhafarov, Carl Mummert Reverse Mathematics Englisch 09.08.2023 Taschenbuch CHF 96.00 4-7 Arbeitstage
Kenneth J Supowit, Kenneth J. Supowit - Algorithms for Constructing Computably Enumerable Sets
Kenneth J Supowit, Kenneth J. Supowit Algorithms for Constructing Computably Enumerable Sets Englisch 03.07.2023 Fester Einband CHF 83.00 1-2 Wochen
Lenwood S Heath, Lenwood S. Heath, Arnold L Rosenberg, Arnold L. Rosenberg - Understanding Computation Pillars, Paradigms, Principles
Lenwood S Heath, Lenwood S. Heath, Arnold L Rosenberg, Arnold L. Rosenberg Understanding Computation Englisch 10.08.2022 Fester Einband CHF 146.00 1-2 Wochen
Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Satoru Kuroda et al, Mitsuhiro Okada, … - Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Satoru Kuroda et al, Mitsuhiro Okada, … Advances in Mathematical Logic Englisch 01.02.2023 Taschenbuch CHF 198.00 4-7 Arbeitstage
Borut Robi¿, Borut Robic - The Foundations of Computability Theory
Borut Robi¿, Borut Robic The Foundations of Computability Theory Englisch 28.11.2021 Taschenbuch CHF 96.00 4-7 Arbeitstage
Damir D Dzhafarov, Damir D. Dzhafarov, Carl Mummert - Reverse Mathematics Problems, Reductions, and Proofs
Damir D Dzhafarov, Damir D. Dzhafarov, Carl Mummert Reverse Mathematics Englisch 01.01.2022 Fester Einband CHF 134.00 1-2 Wochen
Toshiyasu Arai, Makot Kikuchi, Makoto Kikuchi, Satoru Kuroda, Satoru Kuroda et al, … - Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
Toshiyasu Arai, Makot Kikuchi, Makoto Kikuchi, Satoru Kuroda, Satoru Kuroda et al, … Advances in Mathematical Logic Englisch 30.09.2021 Fester Einband CHF 198.00 1-2 Wochen
Borut Robi¿, Borut Robic - The Foundations of Computability Theory
Borut Robi¿, Borut Robic The Foundations of Computability Theory Englisch 11.12.2020 Fester Einband CHF 134.00 1-2 Wochen
Vasco Brattka, Hanne Diener, Hannes Diener, Dieter Spreen - Logic, Computation, Hierarchies
Vasco Brattka, Hanne Diener, Hannes Diener, Dieter Spreen Logic, Computation, Hierarchies Englisch 01.01.2014 Fester Einband CHF 196.00 1-2 Wochen
Heinz-Diete Ebbinghaus, Heinz-Dieter Ebbinghaus, H Müller, H Müller, Gert H. Müller - -Bibliography of Mathematical Logic Model Theory
Heinz-Diete Ebbinghaus, Heinz-Dieter Ebbinghaus, H Müller, H Müller, Gert H. Müller -Bibliography of Mathematical Logic Englisch 17.10.2013 Taschenbuch CHF 69.00 1-2 Wochen
Pete G Hinman, Peter G Hinman, H Müller, H Müller, Peter G. Hinman, … - -Bibliography of Mathematical Logic Recursion Theory
Pete G Hinman, Peter G Hinman, H Müller, H Müller, Peter G. Hinman, … -Bibliography of Mathematical Logic Englisch 17.10.2013 Taschenbuch CHF 69.00 1-2 Wochen
William Gasarch, William I. Gasarch, Willia Levine, William Levine, William S. Levine, … - Bounded Queries in Recursion Theory
William Gasarch, William I. Gasarch, Willia Levine, William Levine, William S. Levine, … Bounded Queries in Recursion Theory Englisch 14.11.2013 Taschenbuch CHF 134.00 4-7 Arbeitstage
M J Beeson, M. J. Beeson, M.J. Beeson - Foundations of Constructive Mathematics Metamathematical Studies
M J Beeson, M. J. Beeson, M.J. Beeson Foundations of Constructive Mathematics Englisch 16.11.2012 Taschenbuch CHF 168.00 4-7 Arbeitstage
Klaus Weihrauch - Computability
Klaus Weihrauch Computability Englisch 16.11.2012 Taschenbuch CHF 69.00 4-7 Arbeitstage
Haim Judah, Winfrie Just, Winfried Just, Hugh Woodin - Set Theory of the Continuum
Haim Judah, Winfrie Just, Winfried Just, Hugh Woodin Set Theory of the Continuum Englisch 25.07.2012 Taschenbuch CHF 146.00 4-7 Arbeitstage