城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Many-valued logic)
該当件数:6件
Many-valued logics / [by] J. Barkley Rosser [and] Atwell R. Turquette
Amsterdam : North-Holland Pub. Co. , 1952. - (Studies in logic and the foundations of mathematics)
図書
Many-valued logic
New York : McGraw-Hill , {1969}
Modern uses of multiple-valued logic : invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975 / edited by J. Michael Dunn and George Epstein ; with a bibliography of many-valued logic by Robert G. Wolf.
v. 2. - Dordrecht, Holland : D. Reidel Pub. Co. , c1977.. - (Episteme ; v. 2)
Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture / J. Y. Girard.
Warszawa : Panstwowe Wydawn. Naukowe , 1976. - (Dissertationes mathematicae)
Fixed-point theorems for multi-valued functions and their applications to the functional equations / Roman W?egrzyk.
Warszawa : Panstwowe Wydawn. Nauk. , 1982. - (Dissertationes mathematicae)
Finite algebra and multiple-valued logic / edited by B. Csakany and I. Rosenberg.
28. - Amsterdam : North-Holland , 1981. - Budapest : Janos Bolyai Mathematical Society , 1981. - (Colloquia mathematica Societatis Janos Bolyai ; 28)