Cover Image

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift /

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come....

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Paule, Peter. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Subjects:
Algorithms.
Mathematical logic.
Computer software.
Software engineering.
Computers.
Mathematical Logic and Foundations.
Mathematical Software.
Software Engineering/Programming and Operating Systems.
Theory of Computation.
Online Access:https://doi.org/10.1007/978-3-319-00966-7

Internet

https://doi.org/10.1007/978-3-319-00966-7

Similar Items