scientific article
From MaRDI portal
Publication:4063113
zbMath0307.02001MaRDI QIDQ4063113
I. A. Lavrov, Larisa L. Maksimova
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Axiomatics of classical set theory and its fragments (03E30) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)
Related Items (1)
This page was built for publication:
