Subsystems of second order arithmetic

Subsystems of second order arithmetic

Stephen G. Simpson

2nd ed

New York : Association for Symbolic Logic : Cambridge University Press, 2009

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.96-Si7

10009021903

一般図書

詳細情報

刊年

2009

形態

xvi, 444 p. ; 25 cm

シリーズ名

Perspectives in logic

注記

Includes bibliographical references (p. 409-424) and index

出版国

アメリカ合衆国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Simpson, Stephen G. (Stephen George), 1945- [ Simpson, S. G ]

分類

LCC:QA9.7

DC22:511.3

件名

Predicate calculus

ISBN

9780521884396

NCID

BA9034205X

番号

LCCN : 2008052364