scientific article

From MaRDI portal

Publication:3720597

Jump to:navigation, search

zbMath0592.03048MaRDI QIDQ3720597

Yuri I. Manin

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computability algorithmic translation applications of algorithmic models Bourbaki structure extendable constructive universe hierarchy of the extendable universes

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Automata and formal grammars in connection with logical questions (03D05) Metamathematics of constructive systems (03F50) Algorithms in computer science (68W99)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3720597&oldid=17224837"