"Medvedev's logic and products of converse well orders."

Denis I. Saveliev, Ilya Shapirovsky (2022)

Details and statistics

DOI:

access: open

type: Conference or Workshop Paper

metadata version: 2024-01-16