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