富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 511/.3)
該当件数:9件
The language of machines : an introduction to computability and formal languages / Robert W. Floyd, Richard Beigel
New York : Computer Science Press , c1994
図書
Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki
Dordrecht : Boston : Kluwer Academic Publishers , c1988. - (Synthese library ; v. 199)
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)
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
Dordrecht, Holland ; Boston : D. Reidel Pub. Co. , c1977. - (Episteme / editor, Mario Bunge ; v. 2)
An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack
us,gw. - New York : Springer-Verlag , c1975. - (Graduate texts in mathematics ; v. 22)
Introduction to axiomatic set theory / G. Takeuti, W.M. Zaring
soft cover. - New York : Springer-Verlag , c1971. - (Graduate texts in mathematics ; 1)
The Calculi of symbolic logic, 1 / edited by V.P. Orevkov : [translated from the Russian by A. Yablonsky]
Providence, R.I. : American Mathematical Society , 1971. - (Proceedings of the Steklov Institute of Mathematics ; no. 98, 1968)
Two applications of logic to mathematics / by Gaisi Takeuti
ja. - [Tokyo] : Iwanami Shoten. - [Princeton, N.J.] : Iwanami Shoten. - (Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3)
Theory of sets / Nicolas Bourbaki
Paris : Hermann. - Reading, Mass. : Hermann. - (Actualités scientifiques et industrielles ; . Elements of mathematics ; 1). - (Adiwes international series in mathematics)