Predicative foundations of arithmetic
β
Solomon Feferman; Geoffrey Hellman
π
Article
π
1995
π
Springer Netherlands
π
English
β 781 KB