Simpson, Stephen G., 1945-
Subsystems of second order arithmetic / Stephen G. Simpson. -- Second edition. -- Cambridge : Cambridge University Press, 2009. -- ©2009. -- xvi, 444 stran. -- (Perspectives in logic ; 1). -- Pod názvem: Association for Symbolic Logic. -- "This digitally printed version 2010" -- Rub titulní strany. -- ISBN : 978-0-521-15014-9 (brožováno).
Association for Symbolic Logic
matematické modely. aritmetika. predikátová logika. monografie
511.1. 164.2. 510.635. 519.673. (048.8)