大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA9)
該当件数:22件
Mathematical reasoning : analogies, metaphors, and images / edited by Lyn D. English
: pbk.. - Mahwah, N.J. : L. Erlbaum Associates , 1997. - (Studies in mathematical thinking and learning)
図書
The common sense of the exact sciences / William Kingdon Clifford ; with a new introduction by Andrew Pyle
London : Routledge/Thoemmes Press , 1996. - (The origins of modern philosophy of science, 1830-1914)
Foundations without foundationalism : a case for second-order logic / Stewart Shapiro
:pbk. - Oxford : Clarendon Press. - New York : Oxford University Press , 1991. - (Oxford logic guides ; 17)
Non-classical logics / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 2Ω-bibliography of mathematical logic /)
Recursion theory / Peter G. Hinman (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 4Ω-bibliography of mathematical logic /)
To infinity and beyond : a cultural historyof the infinite / Eli Maor
Basel,Boston. - Boston : Birkhäuser , c1987
Model theory / Heinz-Dieter Ebbinghaus (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 3Ω-bibliography of mathematical logic /)
Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen and Anne S. Troelstra (editors)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 6Ω-bibliography of mathematical logic /)
Set theory / Andreas R. Blass (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 5Ω-bibliography of mathematical logic /edited by Gert H. Müller in collaboration with Wolfgang Lenski)
Classical logic / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 1Ω-bibliography of mathematical logic /)
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
: us,: gw. - New York : Springer-Verlag , c1984. - (Undergraduate texts in mathematics)
Logic and structure / Dirk van Dalen
: us:pbk.,: gw. - 2nd ed., corrected 2nd print. - Berlin : Springer-Verlag , c1983. - (Universitext)
Elements of logic and foundations of mathematics in problems / Wiktor Marek and Janusz Onyszkiewicz
pbk.. - Dordrecht, Holland : D. Reidel. - Warszawa : PWN-Polish Scientific Publishers. - Hingham, MA : Distributors for the U.S.A. and Canada, Kluwer Boston , c1982
Dictionary of logical terms and symbols / Carol Horn Greenstein
pbk. - New York : Van Nostrand Reinhold , c1978
A course in mathematical logic / Yu.I. Manin ; translated from the Russian by Neal Koblitz
: us,: gw. - New York : Springer-Verlag , c1977. - (Graduate texts in mathematics ; 53)
Admissible sets and structures : an approach to definability theory / Jon Barwise
: gw,: us. - Berlin : Springer-Verlag , 1975. - (Perspectives in mathematical logic)
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)
Patterns of plausible inference / By G. Polya
: cloth,: paper. - 2nd ed. - Princeton : Princeton University Press , 1968. - (Mathematics and plausible reasoning ; v. 2)
Grundlagen der Mathematik / D. Hilbert und P. Bernays
v. 1,v. 2. - 2. Aufl. - Berlin : Springer , 1968-70. - (Die Grundlehren der mathematischen Wissenschaften ; Bd. 40, 50)
From Frege to Gödel : a source book in mathematical logic, 1879-1931 / [edited by]Jean van Heijenoort
: pbk,: cloth. - Cambridge : Harvard University Press , 1967. - (Source books in the history of the sciences)