On Arithmetical Numberings in Reverse Mathematics.

Nikolay Bazhenov Marta Fiori-Carones Manat Mustafa

Published in: CiE (2024)

Keyphrases

computer science
information retrieval

database
real world

bayesian networks

mathematics education