A constructive analysis of RM
- 1 December 1987
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 52 (4) , 939-951
- https://doi.org/10.2307/2273828
Abstract
A constructive analysis of RM - Volume 52 Issue 4 - Arnon AvronKeywords
This publication has 1 reference indexed in Scilit:
- A note on ${\bf R}$-Mingle and Sobociński's three-valued logic.Notre Dame Journal of Formal Logic, 1972