Mathematics, Computer Science and Logic - A Never Ending Story
Latest Publications

TOTAL DOCUMENTS

4

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer International Publishing

9783319009650, 9783319009667

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

New Directions in the Foundations of Mathematics (2002)

Mathematics, Computer Science and Logic - A Never Ending Story ◽

10.1007/978-3-319-00966-7_3 ◽

2013 ◽

pp. 69-100

Author(s):

Stephen Wolfram

Keyword(s):

Foundations Of Mathematics ◽

Download Full-text

On the Role of Logic and Algebra in Software Engineering

Mathematics, Computer Science and Logic - A Never Ending Story ◽

10.1007/978-3-319-00966-7_2 ◽

2013 ◽

pp. 51-68 ◽

Author(s):

Manfred Broy

Keyword(s):

Software Engineering ◽

Download Full-text

Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics

Mathematics, Computer Science and Logic - A Never Ending Story ◽

10.1007/978-3-319-00966-7_4 ◽

2013 ◽

pp. 101-113

Author(s):

Doron Zeilberger

Keyword(s):

Computational Philosophy

Download Full-text

Foundations of Mathematics from the Perspective of Computer Verification

Mathematics, Computer Science and Logic - A Never Ending Story ◽

10.1007/978-3-319-00966-7_1 ◽

2013 ◽

pp. 1-49

Author(s):

Henk Barendregt

Keyword(s):

Foundations Of Mathematics

Download Full-text