The consistency of some 4-stratified subsystem of NF including NF3
From MaRDI portal
Publication:3682481
DOI10.2307/2274229zbMath0567.03024OpenAlexW1522330836MaRDI QIDQ3682481
Paolo Casalegno, Maurice Boffa
Publication date: 1985
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274229
Related Items
Cites Work