教育図書館・文部科学省図書館の蔵書を検索します。
全国の大学図書館等が所蔵する本(図書・雑誌)の情報を検索できます。
学協会刊行物・大学研究紀要・国立国会図書館の雑誌記事索引データベースなどの学術論文情報を検索できます。
NDLサーチを検索します。
図書館の蔵書を検索した結果です。電子ジャーナル・電子ブックは詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:22件
Logic for mathematicians / A.G. Hamilton
: pbk. - Cambridge [Eng.] ; New York : Cambridge University Press , 1978
図書
How to read and do proofs : an introduction to mathematical thought process / Daniel Solow
New York : J. Wiley , c1982
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert Willem Beth
Dordrecht, Holland : D. Reidel Publishing Co. , 1962. - (Synthese library)
Non-standard analysis / Abraham Robinson
Amsterdam : North-Holland Pub. Co. , 1966. - (Studies in logic and the foundations of mathematics)
Introduction to the foundations of mathematics / Raymond L. Wilder
New York : J. Wiley , c1952
Mathematics and logic for digital devices / James T. Culbertson
Princeton, N.J. : Van Nostrand , c1958
Elements of set theory / Peter W. Zehna, Robert L. Johnson
Boston : Allyn and Bacon , 1962. - (College mathematics series)
Symbolic logic and intelligent machines / Edmund C. Berkeley
New York : Reinhold , c1959
Mathematico-deductive theory of rote learning : a study in scientific methodology / by Clark L. Hull ... [et al.]
New Haven : Yale University Press. - London : Oxford University Press , 1940
Logical labyrinths / Raymond M. Smullyan
Wellesley, Mass. : A K Peters , c2009
An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities / by George Boole
: pbk. - New York : Dover Publications Inc. , [195-?]. - (Dover books on advanced mathematics)
Word and object / Willard Van Orman Quine
Cambridge, Mass : Technology Press of the Massachusetts Institute of Technology , [1960]. - (Studies in communication)
Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by John Worrall and Elie Zahar
: hard,: pbk. - Cambridge : Cambridge University Press , 1976
Logic, semantics, metamathematics : papers from 1923 to 1938 / by Alfred Tarski ; translated by J.H. Woodger
Oxford : Clarendon Press , 1956
The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability / by Hans Reichenbach ; English translation by Ernest H. Hutten and Maria Reichenbach
2nd ed. - Berkeley : University of California Press , 1949
Patterns of plausible inference / by G. Polya
: cloth,: paper. - Princeton : Princeton University Press , 1954. - (Mathematics and plausible reasoning ; v. 2)
Principia mathematica to *56 / by Alfred North Whitehead and Bertrand Russell
: pbk. - Cambridge : Cambridge Univ. Press , 1962
From Frege to Gödel : a source book in mathematical logic, 1879-1931 / [edited by] Jean van Heijenoort
: pbk,: cloth. - [3rd print.]. - Cambridge, Mass. : Harvard University Press , 1977. - (Source books in the history of the sciences)
The Logic of decision and action / edited by Nicholas Rescher ; essays by Alan Ross Anderson ... [et al.] ; with comments by R. Ackermann ... [et al.]
[Pittsburgh] : University of Pittsburgh Press , [1966]
Mathematical epistemology and psychology / Evert W. Beth, Jean Piaget ; translated from the French by W. Mays
Dordrecht, Holland : D. Reidel , 1966. - (Synthese library)