Composition of inverse problems with a given logical structure

zbMath1488.03001arXiv1401.5909MaRDI QIDQ4993807

Julia Ninova, Vesselka Mihova

Publication date: 16 June 2021

Full work available at URL: https://arxiv.org/abs/1401.5909

zbMATH Keywords

inverse problemscomposition of problems with given logical structures

Mathematics Subject Classification ID

Classical propositional logic (03B05) Elementary problems in Euclidean geometries (51M04) Geometric constructions in real or complex geometry (51M15) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (1)

Direct and indirect methods of proof. The Lehmus-Steiner theorem

This page was built for publication: Composition of inverse problems with a given logical structure