scientific article; zbMATH DE number 3618130

zbMATH Open0398.03037MaRDI QIDQ4182736FDOQ4182736

Authors: H. Vogel 

Publication date: 1977

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

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

zbMATH Keywords

Recursion TheoryFinite FunctionalsCountable FunctionalsPartial Continuous

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Functionals in proof theory (03F10)

Cited In (1)

• Eine beweistheoretische Anwendung partieller stetiger Funktionale

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