On systems of definitions, induction and
β
Lars HallnΓ€s
π
Article
π
1992
π
Springer Netherlands
π
English
β 895 KB