城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: 511/.3)
該当件数:18件
Axiomatic set theory / [Edited by Dana S. Scott]
Providence : American Mathematical Society , 1971-74. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 13.1)
電子ブック
Providence : American Mathematical Society , 1971-74. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 13.2)
Proceedings / Edited by Leon Henkin and [others]
Providence : Published for the Association for Symbolic Logic by American Mathematical Society , 1974. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 25)
Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.]
v. 1,v. 2. - Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributor for the U.S.A. and Canada, Elsevier North-Holland , 1979. - (Studies in logic and the foundations of mathematics ; v. 93)
図書
Introduction to mathematical logic / Elliott Mendelson
New York : Van Nostrand , c1964. - (The university series in undergraduate mathematics)
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday / edited by Leon Henkin ... [et al.]
Providence : Published for the Association for Symbolic Logic by the American Mathematical Society , 1974. - (Proceedings of symposia in pure mathematics ; v. 25)
Axiomatic set theory / [edited by Dana S. Scott]
pt. 1,pt. 2. - Providence : American Mathematical Society , 1971-1974. - (Proceedings of symposia in pure mathematics ; v. 13)
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
: pbk. - Amsterdam ; New York : North-Holland Pub. Co. , 1977. - (Studies in logic and the foundations of mathematics ; v. 90)
Algebra of proofs / M. E. Szabo
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1978. - (Studies in logic and the foundations of mathematics ; v. 88)
Logic in algebraic form : three languages and theories / William Craig
: us,: ne. - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1974. - (Studies in logic and the foundations of mathematics ; v. 72)
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc
Amsterdam : North-Holland , 1973. - (Studies in logic and the foundations of mathematics ; v. 68)
Formal languages / Arto Salomaa
New York : Academic Press , 1973. - (ACM monograph series)
Fundamental theoretical elements / A. Kaufmann ; foreword by L.A. Zadeh ; translated by D.L. Swanson
New York : Academic Press , 1975. - (Introduction to the theory of fuzzy subsets ; Vol. 1)
Selected works, Jan Lukasiewicz / edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
Amsterdam ; London : North-Holland , 1970. - (Studies in logic and the foundations of mathematics)
Introduction to axiomatic set theory / G. Takeuti, W.M. Zaring
: soft cover. - New York : Springer-Verlag , c1971. - (Graduate texts in mathematics ; 1)
Minimal degrees of unsolvability and the full approximation construction / Richard L. Epstein
Providence : American Mathematical Society , 1975. - (Memoirs of the American Mathematical Society ; no. 162)
Ideals over uncountable sets : application of almost disjoint functions and generic ultrapowers / Thomas Jech and Karel Prikry
Providence : American Mathematical Society , 1979. - (Memoirs of the American Mathematical Society ; no. 214)
The mathematical theory of L systems / Grzegorz Rozenberg, Arto Salomaa
New York : Academic Press , 1980. - (Pure and applied mathematics ; 90)