富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Set theory)
該当件数:11件
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by William M. Farmer
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2023). - (Computer Science Foundations and Applied Logic. ISSN:27315762)
電子ブック
Algorithms for Constructing Computably Enumerable Sets / by Kenneth J. Supowit
Schaum's outline of theory and problems of set theory and related topics / Seymour Lipschutz
2nd ed. - New York : McGraw-Hill , c1998. - (Schaum's outline series)
図書
Intelligent decision support : handbook of applications and advances of the rough sets theory / edited by Roman SŁowiński
Dordrecht : Boston : Kluwer Academic , c1992. - (Theory and decision library ; Series D . System theory, knowledge engineering, and problem solving ; v. 11)
A theory of sets / Anthony P. Morse
2nd ed. - Orlando, Fla. : Tokyo : Academic Press , 1986. - (Pure and applied mathematics (Academic Press) ; 108)
Mass terms and model-theoretic semantics / Harry C. Bunt
Cambridge [Cambridgeshire] : New York : Cambridge University Press , 1985. - (Cambridge studies in linguistics ; 42)
Georg Cantor : his mathematics and philosophy of the infinite / Joseph Warren Dauben
Cambridge, Mass. : Harvard University Press , 1979
Simplified independence proofs : Boolean valued models of set theory / by J. Barkley Rosser
New York : Academic Press , 1969. - (Pure and applied mathematics (Academic Press) ; 31)
Topological imbeddings in euclidean space / by L.V. Keldyš : translated from the Russian by J. Zilber
Providence : American Mathematical Society , 1968. - (Proceedings of the Steklov Institute of Mathematics ; No. 81)
The theory of sets and transfinite arithmetic / Alexander Abian
Philadelphia : London : Saunders , c1965. - (Saunders mathematics books)
Theory of sets / Nicolas Bourbaki
Paris : Hermann. - Reading, Mass. : Hermann. - (Actualités scientifiques et industrielles ; . Elements of mathematics ; 1). - (Adiwes international series in mathematics)