Subsystems of second order arithmetic


Stephen G. Simpson
Bok Engelsk 1999 Stephen George Simpson
Utgitt
Berlin : Springer , c1999
Omfang
XIV, 444 s.
Emner
ISBN
3540648828

Bibliotek som har denne