Extensionality versus constructivity (2000)

by S Valentini
Venue:Mathematical logic Quarterly
Add To MetaCart
Results 1 - 1 of 1

MATHEMATICAL LOGIC QUARTERLY

by A Journal, Mathematical Logic, John L. Bell, M Lq , 2007
"... The axiomofchoice and the law of excluded middle in weak set theories ..."
Abstract - Add to MetaCart
The axiomofchoice and the law of excluded middle in weak set theories