scientific article; zbMATH DE number 3480542

MaRDI QIDQ4063113zbMATH OpenFDO

Authors I. A. Lavrov, L. L. Maksimova

Publication date 1975

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classical first-order logic (03B10) Recursive functions and relations, subrecursive hierarchies (03D20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Turing machines and related notions (03D10) Axiomatics of classical set theory and its fragments (03E30)

Cited in

(1)

• A proof of the L'Hôpital's rule

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