scientific article; zbMATH DE number 4047713

MaRDI QIDQ3784064zbMATH OpenFDO

Authors A. V. Kuznetsov

Publication date 1987

Full work available at URL https://eudml.org/doc/189945

zbMATH Keywords

survey

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Proof theory and constructive mathematics (03Fxx)

Cited in

(6)

• Algorithmic Meta-theorems
• Algebraic approach to algorithmic logic
• scientific article; zbMATH DE number 5935734 (Why is no real title available?)
• Artificial Intelligence and Symbolic Computation
• scientific article; zbMATH DE number 3851055 (Why is no real title available?)
• scientific article; zbMATH DE number 5063195 (Why is no real title available?)

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