Nonstandard methods for finite structures

Akito Tsuboi. Nonstandard methods for finite structures. Math. Log. Q., 66(3):367-372, 2020. [doi]

Abstract

Abstract is missing.