×

zbMATH — the first resource for mathematics

Abstracts of additional presentations made at the Royal Society discussion meeting ‘The nature of mathematical proof’. (English) Zbl 1152.03303

MSC:
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
00A30 Philosophy of mathematics
PDF BibTeX XML Cite
Full Text: DOI