富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA9)
該当件数:14件
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
: us,: gw. - 2nd ed. - New York : Tokyo : Springer-Verlag , c1994. - (Undergraduate texts in mathematics)
図書
Logic for computer scientists / Uwe Schöning
: us,: gw. - Boston : Birkhäuser , 1989. - (Progress in computer science and applied logic ; v. 8)
Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki
Dordrecht : Boston : Kluwer Academic Publishers , c1988. - (Synthese library ; v. 199)
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee
Boston : Tokyo : Academic Press , 1987, c1. - (Computer science classics)
Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.]
v. 1 - v. 5. - New York ; Oxford ; Tokyo : Oxford University Press , 1986-2003
: us,: gw. - New York : Springer-Verlag , c1984. - (Undergraduate texts in mathematics)
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)
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)
Cylindric algebras / [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski
pt. 1,pt. 2. - Amsterdam : North-Holland Pub. Co. , 1971-1985. - (Studies in logic and the foundations of mathematics ; v. 64, 115)
Elements of mathematical logic : (Model theory) / [By] G. Kreisel and J. L. Krivine
Amsterdam : North Holland Pub. Co. , 1967. - (Studies in logic and the foundations of mathematics)
Remarks on the foundations of mathematics / by Ludwig Wittgenstein : edited by G.H. von Wright, R. Rhees and G.E.M. Anscombe ; translated from the German by G.E.M. Anscombe
2nd ed. - Oxford : Blackwell , 1967
Philosophy of mathematics and natural science / by Hermann Weyl
Rev. and augm. English ed. / based on a translation by Olaf Helmer. - Princeton : Princeton University Press , 1949
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)