scientific article; zbMATH DE number 2156418
From MaRDI portal
Publication:4668908
Recommendations
Cited in
(8)- A survey of languages for formalizing mathematics
- scientific article; zbMATH DE number 3957098 (Why is no real title available?)
- scientific article; zbMATH DE number 4051587 (Why is no real title available?)
- scientific article; zbMATH DE number 4059479 (Why is no real title available?)
- Number theory and formal languages
- Infinitude of primes using formal languages
- scientific article; zbMATH DE number 4774 (Why is no real title available?)
- scientific article; zbMATH DE number 6309316 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4668908)