Mathematics, Computer Science and Logic - A Never Ending Story

Edited by Peter Paule ()

in Springer Books from Springer

Date: 2013
Edition: 2013
ISBN: 978-3-319-00966-7
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

Foundations of Mathematics from the Perspective of Computer Verification

Henk Barendregt

On the Role of Logic and Algebra in Software Engineering

Manfred Broy

New Directions in the Foundations of Mathematics (2002)

Stephen Wolfram

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

Doron Zeilberger

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-3-319-00966-7

Ordering information: This item can be ordered from
http://www.springer.com/9783319009667

DOI: 10.1007/978-3-319-00966-7

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().