From mathematical axioms to mathematical rules of proof:recent developments in proof analysis
Year of publication
2019
Authors
Negri, Sara; von Plato, Jan
Organizations and authors
Publication type
Publication format
Article
Parent publication type
Journal
Article type
Original article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A1 Journal article (refereed), original researchPublication channel information
Journal/Series
Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences
Parent publication name
Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences
Volume
377
Issue
2140
Article number
20180037
ISSN
Publication forum
Publication forum level
2
Open access
Open access in the publisher’s service
No
Self-archived
Yes
Other information
Fields of science
Philosophy
Keywords
[object Object],[object Object],[object Object],[object Object]
Publication country
United Kingdom
Internationality of the publisher
International
Language
English
International co-publication
No
Co-publication with a company
No
DOI
10.1098/rsta.2018.0037
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes