Výsledky vyhledávání
- Subsystems of second order arithmetic / Stephen G. Simpson. Cambridge : Cambridge University Press, 2009 ©2009 . xvi, 444 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 
kniha