Recursive nets

DOI10.1007/BF02196733zbMath0216.29101OpenAlexW4236421439MaRDI QIDQ2546045

V. I. Amstislavskii

Publication date: 1966

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02196733

Mathematics Subject Classification ID

Computability and recursion theory (03D99)

Cites Work

• Zur Theorie der konstruktiven Wohlordnungen
• Arithmetical Predicates and Function Quantifiers
• Recursive well-orderings
• Unnamed Item

This page was built for publication: Recursive nets