Some Proofs of Independence in Axiomatic
β
Elliott Mendelson
π
Article
π
1956
π
Association for Symbolic Logic
π
English
β 1009 KB