skip to main content

Reverse Mathematics: Problems, Reductions, and Proofs

Conidis, Chris J.

The Bulletin of Symbolic Logic, 2023, Vol.29 (4), p.660-662 [Periódico revisado por pares]

Cambridge University Press

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.