Subsystems of second order arithmetic

Subsystems of second order arithmetic

de Stephen G. Simpson
4/5
(2 voturi)
Format
444 pagini
Prima publicare
1999
Editori
Springer

Carti

Carti asemanatoare