Title

Formal Proofs in Mathematical Practice

Document Type

Other

Role

Author

Publication

Handbook of the History and Philosophy of Mathematical Practice

Publisher

Springer Nature

Publication Date

2021

Share

COinS