Subsystems of second order arithmetic. 2nd ed

フォーマット:
図書
責任表示:
Stephen G. Simpson
言語:
英語
出版情報:
New York : Association for Symbolic Logic : Cambridge University Press, 2009
形態:
xvi, 444 p. ; 25 cm
著者名:
Simpson, Stephen G. (Stephen George), 1945- <DA01208324>  
シリーズ名:
Perspectives in logic <BA90341523>
書誌ID:
BA9034205X
ISBN:
9780521884396 [052188439X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information