Concerning the constructive interpretation of auxiliary formulas. I

From MaRDI portal

Revision as of 04:20, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5661484

Jump to:navigation, search

DOI10.1090/trans2/099/05zbMath0249.02013OpenAlexW4253755270MaRDI QIDQ5661484

N. A. Shanin

Publication date: 1972

Published in: Five Papers on Logic and Foundations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/trans2/099/05

Mathematics Subject Classification ID

Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Related Items (1)

SYSTEM IDENTIFICATION, APPROXIMATION AND COMPLEXITY

This page was built for publication: Concerning the constructive interpretation of auxiliary formulas. I

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