A formalization of set theory without variables

書誌事項

A formalization of set theory without variables

by Alfred Tarski and Steven Givant

(Colloquium publications / American Mathematical Society, v. 41)

American Mathematical Society, c1987

大学図書館所蔵 件 / 38

この図書・雑誌をさがす

注記

Bibliography: p. 273-282

Includes indexes

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ