# zbMATH — the first resource for mathematics

## Found 130 Documents (Results 1–100)

100
MathJax
Full Text:
Full Text:
Full Text:
Omodeo, Eugenio G. (ed.) et al., Martin Davis on computability, computational logic, and mathematical foundations. Cham: Springer. Outst. Contrib. Log. 10, 55-92 (2016).
Full Text:
Full Text:
Full Text:
Full Text:
Full Text:
Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010).
Full Text:
Bridson, Martin R. (ed.) et al., Geometric and cohomological methods in group theory. Papers from the London Mathematical Society symposium on geometry and cohomology in group theory, Durham, UK, July 2003. Cambridge: Cambridge University Press (ISBN 978-0-521-75724-9/pbk). London Mathematical Society Lecture Note Series 358, 30-62 (2009).
Full Text:
Bridson, Martin R. (ed.) et al., Geometric and cohomological methods in group theory. Papers from the London Mathematical Society symposium on geometry and cohomology in group theory, Durham, UK, July 2003. Cambridge: Cambridge University Press (ISBN 978-0-521-75724-9/pbk). London Mathematical Society Lecture Note Series 358, 1-29 (2009).
Full Text:
Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 235-260 (2008).
MSC:  03B25 03C60 17B10
Fourth colloquium on mathematics and computer science IV. Algorithms, trees, combinatorics and probabilities. Papers based on the presentations at the colloquium, Nancy, France, September 18–22, 2006. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 249-260, electronic only (2006).
MSC:  11B83 11B37 03B25 37A45
Full Text:
Full Text:
Full Text:
Full Text:
Full Text:
Caires, Luís (ed.) et al., Automata, languages and programming. 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27580-0/pbk). Lecture Notes in Computer Science 3580, 1462-1473 (2005).
MSC:  68Q05 68Q10 68Q60 03B25
Full Text:
Full Text:
Full Text:
Full Text:
Full Text:
Full Text:
Denef, Jan (ed.) et al., Hilbert’s tenth problem: relations with arithmetic and algebraic geometry. Proceedings of the workshop, Ghent University, Belgium, November 2-5, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 270, 253-260 (2000).
Reviewer: G.Lettl (Graz)
Full Text:
Denef, Jan (ed.) et al., Hilbert’s tenth problem: relations with arithmetic and algebraic geometry. Proceedings of the workshop, Ghent University, Belgium, November 2-5, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 270, 107-137 (2000).
Denef, Jan (ed.) et al., Hilbert’s tenth problem: relations with arithmetic and algebraic geometry. Proceedings of the workshop, Ghent University, Belgium, November 2-5, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 270, 49-105 (2000).
Denef, Jan (ed.) et al., Hilbert’s tenth problem: relations with arithmetic and algebraic geometry. Proceedings of the workshop, Ghent University, Belgium, November 2-5, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 270, 1-47 (2000).
Cholak, Peter A. (ed.) et al., Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13-17, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 257, 241-254 (2000).
Full Text:
Full Text:
Full Text:
Durnev, V. G. (ed.) et al., Mathematics in Yaroslavl’ University. Collection of survey articles. On the occasion of the 20th anniversary of the Department of Mathematics. Yaroslavl’: Yaroslavskij Gosudarstvennyj Universitet Im. P. G. Demidova. Matematicheskij Fakul’tet, 71-82 (1996).
Full Text:
Prentice Hall International Series in Computer Science. London: Prentice Hall. xvi, 197 p. $36.95 /sc (1994). Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 621-632 (1993). MSC: 03B25 03B35 Full Text: MIT Press Series in the Foundations of Computing. Cambridge, MA: MIT Press. xxii, 264 p.$ 60.75 /hc (1993).
Matematicheskaya Logika i Osnovaniya Matematiki. 26. Moskva: Nauka. 224 p. (1993).
MSC:  12L05 11U05 03B25
Full Text:
Full Text:
Full Text:
Full Text:
Reviewer: A.S.Morozov
MSC:  03D35 03D25 03B25
Full Text:
Full Text:
Reviewer: R.Rumely
Full Text:
Reviewer: R.Rumely
Full Text:
MSC:  03B25
Full Text:
MSC:  03B25 11D61 03D35
Full Text:
Full Text:
Full Text:

all top 5
all top 5
all top 3