scientific article; zbMATH DE number 3819707

zbMATH Open0518.03022MaRDI QIDQ3666842FDOQ3666842

Wojciech Guzicki

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

generalized quantifierelementary extensionsecond order arithmetic

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Second- and higher-order arithmetic and fragments (03F35)

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 Q3666842)