詳細情報

刊年

2012

形態

vii, 252 p. : ill. ; 24 cm

シリーズ名

Studies in logic / series editor, Dov Gabbay ; v. 19 [Mathematical logic and foundations]

注記

Includes bibliographical references (p. [246]-249) and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Kunen, Kenneth

分類

DC22:511.3

件名

Logic, Symbolic and mathematical

Set theory

Model theory

Recursion theory

ISBN

9781904987147

NCID

BB10034586