Calculi of constructive logic with subordinate variables

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:5661483

Jump to:navigation, search

DOI10.1090/trans2/099/03zbMath0249.02012OpenAlexW4256613121MaRDI QIDQ5661483

A. V. Idel'son

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/03

Mathematics Subject Classification ID

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

Related Items (1)

An order-sorted logic for knowledge representation systems

This page was built for publication: Calculi of constructive logic with subordinate variables

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