scientific article; zbMATH DE number 7651472

MaRDI QIDQ5874796zbMATH OpenFDO

Authors Shangang Tang

Publication date 9 February 2023

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5874796)