scientific article
From MaRDI portal
Publication:3317076
zbMath0534.03002MaRDI QIDQ3317076
I. A. Lavrov, Larisa L. Maksimova
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Problem books (00A07) 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:
