@dblp

Reverse mathematics and marriage problems with finitely many solutions.

, and . Arch. Math. Log., 55 (7-8): 1015-1024 (2016)

Links and resources

Tags