← Back to work
Works cited by this work
55 works
Work: Defining algorithmically presented structures in first order logic
Products
For developers
AkademBaseOpen API for the ecosystem55 works
Work: Defining algorithmically presented structures in first order logic