The relative consistency of system RRC\(^*\) and some of its extensions
From MaRDI portal
Publication:1337597
DOI10.1007/BF01057932zbMath0807.03039OpenAlexW2088820488MaRDI QIDQ1337597
Publication date: 10 November 1994
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01057932
Cites Work
This page was built for publication: The relative consistency of system RRC\(^*\) and some of its extensions