scientific article; zbMATH DE number 5586311
From MaRDI portal
Publication:5325776
zbMath1167.03001MaRDI QIDQ5325776
Yu. P. Korablin, A. A. Nabebin
Publication date: 24 July 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Logic programming (68N17) Gödel numberings and issues of incompleteness (03F40) Computability and recursion theory (03Dxx)
This page was built for publication:
