scientific article; zbMATH DE number 3480542

zbMATH Open0307.02001MaRDI QIDQ4063113FDOQ4063113

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

Publication date: 1975

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

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)