Login

Paule, Peter

Mathematics, Computer Science and Logic - A Never Ending Story

Paule, Peter - Mathematics, Computer Science and Logic - A Never Ending Story, ebook

114,40€

Ebook, PDF with Adobe DRM
ISBN: 9783319009667
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Foundations of Mathematics from the Perspective of Computer Verification
Henk Barendregt

2. On the Role of Logic and Algebra in Software Engineering
Manfred Broy

3. New Directions in the Foundations of Mathematics (2002)
Stephen Wolfram

4. Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics
Doron Zeilberger

Keywords: Mathematics, Algorithms, Mathematical Logic and Foundations, Mathematical Software, Software Engineering/Programming and Operating Systems, Theory of Computation

Author(s)
Publisher
Springer
Publication year
2013
Language
en
Edition
2013
Category
Natural Sciences
Format
Ebook
eISBN (PDF)
9783319009667

Similar titles