The Inconsistency of a Certain Axiom Sys
✍
James D. Davis
📂
Article
📅
1972
🏛
Association for Symbolic Logic
🌐
English
⚖ 235 KB