scientific article; zbMATH DE number 4047713

zbMATH Open0643.03040MaRDI QIDQ3784064FDOQ3784064

Authors: A. V. Kuznetsov 

Publication date: 1987

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

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

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
• Title not available (Why is that?)
• Artificial Intelligence and Symbolic Computation
• Title not available (Why is that?)
• Title not available (Why is that?)

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)